Programming from Specifications (1990)

by C Morgan