1
by Beeson, Michael J.
Published 1985
Springer Berlin Heidelberg