1. Applicability of Software Validation Techniques to Scientific Programs
2. ASSET: A life cycle verification and visibility system
3. ‘A software lifecycle methodology and tool support,’ in and , (eds.) Software Development Tools, Springer-Verlag, 82–92 (1980).
4. A strategy for effective integration of verification and testing techniques,’ in and , (eds.) Handbook on Software Engineering, Van Nostrand, Reinhold, 1981.
5. ‘HAL/S-The avionics programming system for shuttle,’ Proc. AIAA Conf. on Computers in Aerospace, Los Angeles, CA, 1977, pp. 308–318.