IO-refinement in Z

• 1 January 1998
• proceedings article
• Published by BCS Learning and Development Limited in Electronic Workshops in Computing
• https://doi.org/10.14236/ewic/nfm1998.3

Abstract