Recursive Schema Definitions in Object-Z

This publication has 5 references indexed in Scilit:

• An extended semantic foundation for Object-Z
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The Object-Z Specification Language
  Published by Springer Nature ,2000
• Refinement Calculus
  Published by Springer Nature ,1998
• Object-Z: A specification language advocated for the description of standards
  Computer Standards & Interfaces, 1995
• Semantic Domains
  Published by Elsevier ,1990