@TECHREPORT\{IMM1993-01806,
    author       = "M. Fr{\"{a}}nzle and B. von Karger",
    title        = "Proposal for a Programming Language Core for ProCoS {II}",
    year         = "1993",
    number       = "Kiel {MF}",
    series       = "",
    institution  = "Christian-Albrechts-Universit{\"{a}}t",
    address      = "Germany",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1806-full.html"
}