@CONFERENCE\{IMM1987-02045,
    author       = "U. G. Dawids and H. H. L{\o}vengreen",
    title        = "Rigorous Development of a Distributed Calendar System",
    year         = "1987",
    pages        = "188-205",
    booktitle    = "{PARLE} Parallel Architectures and Languages Europe,  Volume {II}: Parallel Languages",
    volume       = "259",
    series       = "Lecture Notes in Computer Science",
    editor       = "J.W. de Bakker and A.J. Nijman and P.C. Treleaven",
    publisher    = "Springer-Verlag",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2045-full.html"
}