1. A pascal compiler for ICL 1900 series computers
2. Portability—some experiences with FORTRAN
3. et al., The Pascal P Compiler: Implementation Notes, ETH, Zurich.
4. et al., Corrections to the ‘Pascal Compiler: Implementation Notes’, ETH, Zurich.
5. and , Pascal—User Manual and Report, Springer-Verlag, Berlin, 1974.