Title: ZUM '97, the Z formal specification notation
Subjects: Congresses, Z (Computer program language), Medical applications, Artificial intelligence