@book{104679,
	author = {POTTER AND ETC.},
	title = {INTRODUCTION TO FORMAL SPECIFICATION AND Z},
	publisher = {PEARSON},
	edition = {2}
}