Formal definitions of programming languages as a basis for compiler construction - Hemerik, Cornelis (Dissertatie Drukkerij Wibro, 1996)