formalization of a semantics for imperative programming languages (1994)

by Stuart F Allen