@book{4933,
	author = {Braffort, P. and Hirschberg, D.},
	title = {Computer programming and formal systems.},
	publisher = {North-Holland Pub. Co. ;},
	year = {1967.},
	address = {Amsterdam :},
	note = {Imprint covered by label: New York, Humanities Press.}
}