@phdthesis{
    HUT-TCS-A33,
    author = "Lilius, Johan",
    institution = "Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory",
    title = "On the Structure of High-level Nets",
    year = "1995",
    number = "A33",
    month = "March",
    note = "Doctoral dissertation",
    address = "Espoo, Finland",
    owner = "MM",
    type = "Research Report",
    pages = "136"
}