"Revised Ironman Requirements for High Order Computer Programming Languages", US Dept of Defense, July 1977.
(1977)
Languages mentioned
Ironman
{1977} Penultimate Ada specification