The Categorical Abstract Machine: Basics and Enhancments - Hinze, R (Institut für Informatik III‚ Universität Bonn, 1992)