1
by Pfenning, Frank
Published 2003
Springer Berlin Heidelberg