The revised report on the syntactic theories of sequential control and state
equational reasoning about imperative programming
scientific article; zbMATH DE number 94460