Editing Z notation (section)

==Further reading==
*{{cite book
 | author-link = John Michael Spivey| first = John Michael | last = Spivey
 | title = The Z Notation: A reference manual | edition = 2nd | year = 1992
 | publisher = [[Prentice Hall]] | series = International Series in Computer Science | url=https://spivey.oriel.ox.ac.uk/corner/Z_Reference_Manual }}
*{{cite book|title=Using Z: Specification, Refinement and Proof|last1=Davies|first1=Jim|last2=Woodcock|first2=Jim|publisher=Prentice Hall|year=1996|isbn=0-13-948472-8|series=International Series in Computer Science|author1-link=Jim Davies (computer scientist)|author2-link=Jim Woodcock| url=http://www.usingz.com/ }}
*{{cite book|title=Formal Specification and Documentation using Z: A Case Study Approach|last=Bowen|first=Jonathan| publisher=International Thomson Computer Press, [[International Thomson Publishing]] |year=1996|isbn=1-85032-230-9|author-link=Jonathan Bowen | url=https://www.researchgate.net/publication/2480325 }}
*{{cite book|title=The Way of Z: Practical Programming with Formal Methods|last=Jacky|first=Jonathan| publisher=[[Cambridge University Press]] |year=1997|isbn=0-521-55976-6| url=https://staff.washington.edu/jon/z-book/ }}
*{{cite book|title=An Introduction to Discrete Mathematics, Formal System Specification, and Z|last=Ince|first=D C| publisher=[[ Oxford University Press]] |year=1993|doi=10.1093/oso/9780198538370.001.0001 |isbn=9780198538370| url=https://doi.org/10.1093/oso/9780198538370.001.0001 }}


{{ISO standards}}
{{List of IEC standards}}
{{Authority control}}

{{DEFAULTSORT:Z Notation}}
[[Category:Z notation| ]]
[[Category:Computer-related introductions in 1977]]
[[Category:Specification languages]]
[[Category:Formal specification languages]]
[[Category:Oxford University Computing Laboratory]]