@book{21332,
	author = {ROLLAND, F. D.},
	title = {PROGRAMMING WITH VDM / },
	publisher = {MACMILLAN PRESS LTD ، },
	year = {1992},
	address = {[S.N] : }
}