Programming From Specication (1994)

by C Morgan