Source : Free On-Line Dictionary of Computing

CORAL 66
     
        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].