Title: Specification for computer programming language CORAL 66