"Department of Defense Requirements for High Order Computer Programming Languages",

[SIGPLAN] (1977) SIGPLAN Notices 12(12) December 1977  

Languages mentioned Ironman {1977} Penultimate Ada specification