Title: Constructing programs from specifications
First published: 1991