@InProceedings{Schirmer:SSV09-161,
  author =       "Norbert Schirmer and Makarius Wenzel",
  title =        "State Spaces -- {The} Locale Way",
  pages =        "161--179",
  ee =           "http://dx.doi.org/10.1016/j.entcs.2009.09.065",
  booktitle =    "4th International Workshop on Systems Software
                 Verification (SSV 2009)",
  year =         "2009",
  publisher =    "Elsevier Science B.V.",
  series =       "Electronic Notes in Theoretical Computer Science",
  volume =       "254",
}