@inbook{3000,
  author       = {{Schrieb, Jonas and Wehrheim, Heike and Wonisch, Daniel}},
  booktitle    = {{FM 2009: Formal Methods}},
  isbn         = {{9783642050886}},
  issn         = {{0302-9743}},
  pages        = {{106--122}},
  publisher    = {{Springer Berlin Heidelberg}},
  title        = {{{Three-Valued Spotlight Abstractions}}},
  doi          = {{10.1007/978-3-642-05089-3_8}},
  year         = {{2009}},
}