DMCA

Conditions for the Completeness of Functional and Algebraic Equational Reasoning (1997)

Cached

Download Links

by Jon G. Riecke , Ramesh Subrahmanyam