Z - the 95% program editor

• 1 January 1981
• conference paper
• Published by Association for Computing Machinery (ACM)
• Vol. 2  (1-2) , 1-7
• https://doi.org/10.1145/800209.806447

Abstract