A Programming Language for Processor Construction - Hoare, C (1965)