Title: The Z formal specification notation
Subjects: Z <Programmiersprache>, Z (computer program language)
Places: Reading <1997>