@InProceedings{Bac89,
    Author       = "Back, R.",
    Year         = "1989",
    Title        = "{A Method for Refining Atomicity in Parallel Algorithms}",
    Editor       = "Odijk, E. and Rem, M. and Syr, J.",
    BookTitle    = "{Proceedings of Parallel Architectures and Languages
                    Europe}",
    Place        = "Eindhoven, Netherlands",
    Series       = "Lecture Notes in Computer Science",
    Number       = "366",
    Pages        = "199-216",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}