Schrieb, Jonas, Heike Wehrheim, and Daniel Wonisch. “Three-Valued Spotlight Abstractions.”https://doi.org/10.1007/978-3-642-05089-3_8__In FM 2009: Formal Methods, 106–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.https://doi.org/10.1007/978-3-642-05089-3_8 .