Programming from Specifications, Second Edition (1994)

by C Morgan