Authors: K.-D. Schewe, J.W. Schmidt, I. Wetzel, N. Bidoit,
         D. Castelli, C. Meghini
Titel: Abstract Machines Revisited.
Print file: available as TR FIDE/91/11