@book{149167,
	author = {Meyer, Bertrand.},
	title = {Introduction to the theory of programming languages /},
	publisher = {Prentice Hall,},
	year = {1990.},
	address = {London :},
	note = {Includes index.}
}