@book{314,
	author = {IFIP Working Conference on Formal Description of Programming Concepts and Bjørner, D. and IFIP Technical Committee 2--Programming.},
	title = {Formal description of programming concepts--II :},
	publisher = {North-Holland Pub. Co. ;},
	year = {1983.},
	address = {Amsterdam ;},
	note = {"Organized by IFIP Technical Committee 2, Programming, International Federation for Information Processing"--P. facing t.p.}
}