TARTAN

A language proposed to meet the Ironman requirements, simpler than Ada.

"TARTAN - Language Design for the Ironman Requirements: Reference Manual", Mary Shaw et al, SIGPLAN Notices 13(9):36-58 (Sep 1978).