@incollection{thatcher79-advice,
	title     = {More on advice on structuring compilers and proving them correct},
	author    = {Thatcher, James W and Wagner, Eric G and Wright, Jesse B},
	pages     = {596--615},
	year      = {1979},
	booktitle = {Automata, Languages and Programming},
	volume    = {71},
	series    = {Lecture Notes in Computer Science},
	editor    = {Maurer, Hermann A},
	publisher = {Springer Berlin Heidelberg},
	doi       = {10.1007/3-540-09510-1_48},
	isbn      = {978-3-540-09510-1},
}