@book{8783,
	author = {Moldestad, Johan},
	title = {Computations in higher types},
	publisher = {Springer-Verlag},
	year = {1977},
	series = {Lecture notes in Mathematics},
	address = {Berlin}
}