@book{575292,
	author = {Dillev, Antoni},
	title = {Z an introduction to formal methods},
	publisher = {JOHN WILEY},
	year = {1994},
	address = {NEWYORK},
	edition = {2ND}
}