The optimal implementation of functional programming languages / - Asperti, Andrea. (Cambridge University Press,, 1998)