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.