@InProceedings{Mol04,
    Author       = "M{\"o}ller, B.",
    Year         = "2004",
    Title        = "{Lazy Kleene Algebra}",
    Editor       = "Kozen, D.",
    BookTitle    = "{Proceedings of the 7th International Conference on the
                    Mathematics of Program Construction}",
    Place        = "Stirling, United Kindom",
    Series       = "Lecture Notes in Computer Science",
    Number       = "3125",
    Pages        = "252-273",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}