1
by Warnow, Tandy
Published 2003
Springer Berlin Heidelberg