@book{104944,
	author = {DILLER},
	title = {Z AN INTRODUCTION FO FORMAL METHODS},
	publisher = {JOHN WILEY AND SONS},
	edition = {2}
}