@ARTICLE\{IMM2007-05527,
    author       = "F. Nielson and H. R. Nielson and H. Pilegaard",
    title        = "What is a free name in a process algebra?",
    year         = "2007",
    month        = "aug",
    keywords     = "Concurrency, Process algebras, Reaction semantics",
    pages        = "188-194",
    journal      = "Journal",
    volume       = "103",
    editor       = "",
    number       = "5",
    publisher    = "Elsevier North-Holland, Inc.",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/5527-full.html",
    isbn_issn    = "0020-0190"
}