CADi: An architecture for Z tools and its implementation

This publication has 11 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Efficient binary transfer of pointer structures
  Software: Practice and Experience, 1994
• Demonstrating the Compliance of Ada Programs with Z Specifications
  Published by Springer Nature ,1992
• CADiℤ — Computer Aided Design in Z
  Published by Springer Nature ,1991
• Equal opportunity interactive systems
  International Journal of Man-Machine Studies, 1986
• Literate Programming
  The Computer Journal, 1984
• The Unix Progamming Environment
  Computer, 1981
• The Interlisp Programming Environment
  Computer, 1981
• Prettyprinting
  ACM Transactions on Programming Languages and Systems, 1980
• A LISP garbage-collector for virtual-memory computer systems
  Communications of the ACM, 1969