@PHDTHESIS\{IMM1985-02043,
    author       = "H. H. L{\o}vengreen",
    title        = "On Concurrency Formalization",
    year         = "1985",
    month        = "may",
    school       = "Department of Computer Science",
    address      = "Technical University of Denmark, Lyngby, Denmark",
    type         = "",
    note         = "496 pages. Report no. {ID-TR}:85-3.",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2043-full.html"
}