# Formal Specification and Documentation Using Z

> 1996 book by Jonathan Bowen

**Wikidata**: [Q105938709](https://www.wikidata.org/wiki/Q105938709)  
**Source**: https://4ort.xyz/entity/formal-specification-and-documentation-using-z


## References

1. Open Library