@InProceedings{Schirmer:SSV09-161,
AUTHOR = {Schirmer, Norbert and Wenzel, Makarius},
TITLE = {State Spaces -- The Locale Way},
VOLUME = {254},
YEAR = {2009},
PAGES = {161--179},
SERIES = {Electronic Notes in Theoretical Computer Science},
BOOKTITLE = {4th International Workshop on Systems Software Verification (SSV 2009)},
PUBLISHER = {Elsevier Science B.V.},
EE = {http://dx.doi.org/10.1016/j.entcs.2009.09.065},
}