@INCOLLECTION\{IMM1980-02299,
    author       = "P. Folkj{\ae}r and D. Bj{\o}rner",
    title        = "A Formal Model of a Generalised {CSP-}like Language",
    year         = "1980",
    pages        = "95-99",
    booktitle    = "Proc. {IFIP'}80",
    volume       = "",
    number       = "",
    series       = "",
    publisher    = "",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2299-full.html"
}