Number of items: 1.
Monograph
|
Martin, U.H. and Cohen, D.A. and Lai, M.K.F. and Norrie, K.J. and Watson, P.
(1990)
Case studies in equational reasoning.
Technical report.
The full text of this publication is not available from this repository.
|
|
This list was generated on Sun May 19 20:59:01 2013 BST.
