@TECHREPORT\{IMM2001-0840,
    author       = "M. R. Hansen",
    title        = "The 13th Nordic Workshop on Programming Theory",
    year         = "2001",
    number       = "",
    series       = "IMM-TR-2001-12",
    institution  = "Informatics and Mathematical Modelling, Technical University of Denmark, {DTU}",
    address      = "Richard Petersens Plads, Building 321, {DK-}2800 Kgs. Lyngby",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/840-full.html"
}