1
by Flum, J., Grohe, M.
Published 2006
Springer Berlin Heidelberg

2
by Ebbinghaus, H.-D., Flum, J., Thomas, Wolfgang
Published 1994
Springer New York