Reasoning about Function Objects (2010)

by M Nordio, C Calcagno, B Meyer, P Müller, J Tschannen