Title: Specification and analysis of the sequencing of computing operations in high level languages
First published: 1981