Constructing Programs from Specifications (1991)

by B Moller, editor
Venue:Oxford University