The optimal implementation of functional programming languages - Asperti, Andrea (Cambridge tracts in theoretical computer science ;, 1998)