@book{130840,
	author = {International Conference of Z Users and Bowen, Jonathan Peter,},
	title = {ZUM '97 :},
	publisher = {Springer,},
	year = {1997},
	address = {Berlin :}
}