M. Hamilton & S. Zeldin.AIAA digital avionics systems conference (1975 : Mass., Camberidge):Gigher order software---- a methodology for defining software.Charles Stark Draper Laboratory, Inc.,1975.
American Institute of Aeronautics and Astronautics.5th IEEE/AIAA Digital Avionics Systems Conference(5th : 1983 : Seattle, Wash.):Proceedings.AIAA,1983.