@book{160195,
	author = {SHEPPARD, DERI},
	title = {AN INTRODUCTION TO FORMAL SPECIFICATION WITH Z AND VDM},
	publisher = {McGRAW HILL COMPNIES INC., NEW YORK},
	year = {1995}
}