Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited. - Don Milos; Uwe F. Pleban; George Loegel (POPL, 1984)