The Construction of Types of Abstract Machines in SIMAC. - C. Daquin; C. Girault (GI Jahrestagung, 1975)