@book{8820,
	author = {Siefkes, Dirk},
	title = {Buchis monadic second order successor arithmetic},
	publisher = {Springer-Verlag},
	year = {1970},
	series = {Lecture notes in Mathematics},
	address = {Berlin},
	note = {"Decidable theories I"}
}