@phdthesis{
    HUT-TCS-A19,
    author = "Husberg, Nisse",
    institution = "Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory",
    title = "High Level Distributed Transition Systems in Categories",
    year = "1992",
    number = "A19",
    month = "November",
    note = "Doctoral dissertation",
    address = "Espoo, Finland",
    owner = "MM",
    type = "Research Report",
    pages = "119"
}