@book{179900,
	author = {Schmidt, David A.},
	title = {The structure of typed programming languages /},
	publisher = {MIT Press,},
	year = {c1994.},
	series = {Foundations of computing series},
	address = {Cambridge, Mass. :}
}