Title: Functional models of procedural programs
First published: 1992