@book{22075,
	author = {Mitchell, John C.},
	title = {Foundations for programming languages /},
	publisher = {MIT Press,},
	year = { 1996},
	address = {Cambridge, Mass.:}
}