@book{1694,
	author = {Holcombe, Mike and Ipate, Florentin},
	title = {Correct Systems:},
	publisher = {Springer,},
	year = {1998.},
	address = {Romania:},
	note = {Applied Computing}
}