An extensible system for abstract machines. - C. Daquin; Claude Girault; Brigitte de la Passardière; B. Quement (ACM SIGPLAN Notices, 1973)

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