@book{11963,
	author = {Gauthier, Richard L. and Ponto, Stephen D.},
	title = {Desingning system programs},
	publisher = {Prentice-Hall,},
	year = {1970},
	series = {Prentice-Hall series in automatic computation},
	address = {Englewood Cliffs, N.J. :}
}