@techreport{NordioCalcagnoMeyerMueller09, author = {Martin Nordio and Cristiano Calcagno and Bertrand Meyer and Peter M\"uller}, title = {Reasoning about Function Objects}, institution = {ETH Zurich}, year = {2009}, number = {615}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/NordioCalcagnoMeyerMueller09.pdf} }