Program Derivation: The Development of Programs from Specifications (1989)

by G Dromey