RED
Also known as REDL
Intermetrics
A language proposed to meet the Department of Defense Ironman requirements which led to Ada.
"On the RED Language Submitted to the DoD", Edsger W. Dijkstra, SIGPLAN Notices 13(10):27 (Oct 1978).
"RED Language Reference Manual", J. Nestor and M. van Deusen, Intermetrics, 1979.