@book{36356,
	author = {Karlsruhe, G. Goos.},
	title = {Lecture notes in computer science :},
	publisher = {Springer,},
	year = {c1973.},
	series = {Lecture notes in computer science ;},
	address = {New York :}
}