@book{Otto1997,
  title = {Bounded variable logics and counting -- {A} study in finite models},
  note = {IX+183 pages},
  publisher = {Springer-Verlag},
  author = {Otto, Martin},
  year = {1997},
  volume = {9},
  booktitle = {Lecture Notes in Logic},
}