Maurizio Martelli Alessandro Messora Catuscia Palamidessi Alain Hui-Bon-Hoa Fixpoint Semantics of L lambda. 187-201 1994 conf/agp/1994-1 GULP-PRODE (1) db/conf/agp/gulp-prode1994-1.html#MartelliMPH94