@CONFERENCE\{IMM1980-02038,
    author       = "H. H. L{\o}vengreen and D. Bj{\o}rner",
    title        = "On a Formal Model of the Tasking Concepts of Ada",
    year         = "1980",
    pages        = "213-222",
    booktitle    = "{ACM} {SIGPLAN} Symposium on the Ada Programming Language",
    volume       = "",
    series       = "",
    editor       = "J.W. de Bakker and A.J. Nijman and P.C. Treleaven",
    publisher    = "",
    organization = "",
    address      = "",
    note         = "Published as {ACM} {SIGPLAN} Notices, Vol. 15, No. 11.",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/2038-full.html"
}