@book{51984,
	author = {DILLER and NO},
	title = {Z AN INTRODUCTION FO FORMAL METHODS},
	publisher = {WILEY},
	year = {1994},
	edition = {2}
}