@TECHREPORT\{IMM1993-01881,
    author       = "M. R. Hansen and E. Olderog",
    title        = "Constructing Circuits from Decidable Duration Calculus",
    year         = "1993",
    number       = "",
    series       = "",
    institution  = "Fachbereich Informatik, University Oldenburg, Germany",
    address      = "",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1881-full.html"
}