@BOOK\{IMM1997-01537,
    author       = "F. Nielson",
    title        = "{ML} with Concurrency: Design, Analysis,  Implementation, and Application",
    year         = "1997",
    volume       = "",
    number       = "",
    series       = "Monographs in Computer Science",
    publisher    = "Springer-Verlag",
    address      = "",
    edition      = "",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/1537-full.html"
}