@ARTICLE\{IMM1997-01557,
    author       = "T. Amtoft and F. Nielson and H. Riis Nielson",
    title        = "Type and Behaviour Reconstruction for Higher-Order  Concurrent Programs",
    year         = "1997",
    pages        = "321-347",
    journal      = "Journal of Functional Programming",
    volume       = "7",
    editor       = "",
    number       = "3",
    publisher    = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1557-full.html"
}