Z and HOL (1994)

View PDF

Download Links

by Jonathan P. Bowen , Michael J. C. Gordon , Mike Gordon