["The Programming Language Mode: Language Definition and User

Guide", J. Vihavainen, C-1987-50, U Helsinki, 1987].