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