@book{12629,
	author = {Polak, Wolfgang},
	title = {Compiler specification and verification},
	publisher = {Springer-Verlag},
	year = {1981},
	series = {Lecture notes in Computer Science},
	address = {Berlin}
}