Specification for computer programming language CORAL 66. (31st October 1980)