@InProceedings{Str08,
    Author       = "Struth, G.",
    Year         = "2008",
    Title        = "{Modal Tools for Separation and Refinement}",
    Editor       = "Boiten, E. and Derrick, J. and Schellhorn, G.",
    BookTitle    = "{Proceedings of the 13th BAC-FACS Refinement Workshop}",
    Place        = "Turku, Finland",
    Series       = "Electronic Notes in Theoretical Computer Science",
    Number       = "214",
    Pages        = "81-101",
    Publisher    = "Elsevier",
    Comment      = "TPTPRef"
}