The design and semantic analysis of a programming language and its compiler - Henderson, P. (1970)