Andrea Asperti Cecilia Giovanetti Andrea Naletto The Bologna Optimal Higher-Order Machine. 763-810 1996 6 J. Funct. Program. 6 db/journals/jfp/jfp6.html#AspertiGN96