Programming from Specifications. (1990)

by C Morgan
Venue:International Series in Computer Science.