| 000 | 00360 a2200133 4500 | ||
|---|---|---|---|
| 035 | _a | ||
| 090 |
_c3897 _d3897 |
||
| 100 | _aWalters, H. R | ||
| 245 |
_aOn equal terms _bImplementing algebraic specification _cH. R. Walters |
||
| 260 |
_aAmsterdam _bUniv. Amsterdam _c1991 |
||
| 300 |
_a193 p _bfig., tab _c24 cm |
||
| 500 | _aContine bibliogr | ||
| 942 |
_aIMAR _cCART |
||
| 999 |
_c3772 _d3772 |
||