Title: Calculus of Functions for Programme Derivation
First published: 1987