A real-time system programming language derived from JOVIAL and ALGOL 60. It was adopted as the British military standard from 1970 until the arrival of Ada.
["Official Definition of CORAL 66", P.M. Woodward et al, HMSO, London, 1970].