@TECHREPORT\{IMM1991-02052,
    author       = "A. Gammelgaard and H. H. L{\o}vengreen and C. Rump and J. S{\o}gaard-Andersen",
    title        = "Base System Verification",
    year         = "1991",
    number       = "",
    series       = "{ESPRIT} Project ProCoS Report no. {ID}/{DTH} {HHL} 4/1",
    institution  = "Department of Computer Science, Technical University of  Denmark",
    address      = "",
    type         = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2052-full.html"
}