Daniel Thalmann: Evolution in the Design of Abstract Machines for Software Portability. ICSE 1978: 333-340