Software Construction Using Definitions: an Illustrative Example. CS-RR-147 (1989)

by W M Beynon