Programming from Speci cations (1990)

by Carroll Morgan
Venue:Prentice-Hall International(UK) Ltd