@PhDThesis{French-06,
  author    = {Tim French},
  title     = {Bisimulation quantifiers for modal logics},
  school    = {University of Western Australia, Perth, Australia},
  year      = {1996},
}