TY  - CONF

T1  - IO-refinement in Z

JO  - Electronic Workshops in Computing

UR  - http://dx.doi.org/10.14236/ewic/nfm1998.3

PY  - 1998/01/01

AU  - Boiten E

AU  - Derrick J

ED  - 

DO  - DOI: 10.14236/ewic/nfm1998.3

PB  - BCS Learning & Development

Y2  - 2024/12/22

ER  -