@CONFERENCE\{IMM1992-01886,
    author       = "M. R. Hansen and Z. Chaochen and J. Staunstrup",
    title        = "A Real-Time Duration Semantics for Circuits",
    year         = "1992",
    booktitle    = "TAU'92: 1992 Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton Univ., {NJ}",
    volume       = "",
    series       = "",
    editor       = "",
    publisher    = "ACM/SIGDA",
    organization = "",
    address      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1886-full.html"
}