1. Wilkes, M. V., Wheeler, D. J., and Gill, S., The Preparation of Programs for an Electronic Digital Computer, Addison-Wesley, Reading, Mass., 1951.
2. Ryder, B. G., The PFORT verifier, Software Practice and Experience 4 (1974), 359–377.
3. Computing Science Technical Report;A. D. Hall,1975
4. Computing Science Technical Report;P. A. Fox,1976
5. Computing Science Technical Report;J. L. Blue,1975