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