@book{31912,
	author = {Cooke, John},
	title = {Constructing correct software:},
	publisher = {Springer,},
	year = {1998},
	address = {New York:}
}