Home›Books›Jonathan BowenJonathan BowenNo biography available.Works (2)Formal Specification and Documentation Using ZThe Turing Guide