Specifying reusable components using Z: realistic sets and dictionaries

• 1 April 1989
• journal article
• Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
• Vol. 14  (3) , 120-127
• https://doi.org/10.1145/75200.75218

Abstract