Specification and Refinement of Functional Programs (1994)

Cached

Download Links

by Alexander Bunkenburg