@book{31983,
	author = {Turski, Vladyslaw M},
	title = {The specification of computer programs /},
	publisher = {Addison-Wesley,},
	year = {c1987.},
	address = {Workingham :},
	note = {Includes appendices, references, and index}
}