@CONFERENCE\{IMM2003-03046,
    author       = "M. P. Lindegaard",
    title        = "Representing {RSL} Specifications in Isabelle/HOL",
    year         = "2003",
    month        = "sep",
    pages        = "95-110",
    booktitle    = "Theorem Proving in Higher Order Logics 2003 - Emerging Trends Proceedings",
    volume       = "",
    series       = "",
    editor       = "David Basin and Burkhart Wolff",
    publisher    = "Aracne Editrice S.R.L.",
    organization = "",
    address      = "Rome, Italy",
    note         = "Technical Report No. 187, Universit{\"{a}}t Freiburg.",
    url          = "http://www2.compute.dtu.dk/pubdb/pubs/3046-full.html",
    isbn_issn    = "88-7999-546-4"
}