Walters, H. R <br/><br/>
On equal terms  Implementing algebraic specification 
H. R. Walters 
 - Amsterdam  Univ. Amsterdam  1991 
 - 193 p  fig., tab  24 cm 
<br/><br/> Contine bibliogr