@techreport{NordioCalcagnoMeyerMueller09,
 author = {M. Nordio and C. Calcagno and B. Meyer and P. M\"uller},
 title = {Reasoning about Function Objects},
 institution = {ETH Zurich},
 year = {2009},
 number = {615}
}