@CONFERENCE\{IMM1999-01788,
    author       = "M. Fr{\"{a}}nzle and W. Goerigk and B. von Karger and M. Müller-Olm",
    title        = "Beyond ProCoS at Kiel: A synopsis of recent research",
    year         = "1999",
    month        = "sep",
    booktitle    = "ProCoS {WG} Workshop at {FM} 99",
    volume       = "",
    series       = "",
    editor       = "Jonathan Bowen",
    publisher    = "Springer electronic media",
    organization = "",
    address      = "",
    url          = "http://www.imm.dtu.dk/~mf/Kiel-post-ProCoS.ps.gz"
}