1. and , ‘The Bell Laboratories Numerical Mathematics Program Library Project’, Proceedings of the ACM 23rd National Conference, 485–490 (1968).
2. The pfort verifier
3. Dave—a validation error detection and documentation system for fortran programs
4. ‘The applicability of data flow analysis to different programming languages’, FOA Rapport C 20209-M4, Försvarets Forskningsanstalt, Huvudavdelning 2, Box 27322, S-102 54 Stockholm, 1977.
5. Parameterization of the Environment for Transportable Numerical Software