Programming from Specifications (1994)

by C C Morgan