A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language

Marco Bellia, Enrico Dameri, Pierpaolo Degano, Giorgio Levi, Maurizio Martelli. A Formal Model for Lazy Implementations of a Prolog-Compatible Functional Language. In Implementations of Prolog. pages 309-326, 1984.