Formal specification and documentation using z: A case study approach (2007)

by Jonathan Bowen
Venue:Internet - http://www.jpbowen.com/pub/zbook.pdf, 2003. Accessed