Programming from Specifications (second edition (1994)

by C Morgan