# Bib file

@phdthesis{klinPhdThesis,
   author = "Bartosz Klin",
   title = "An Abstract Approach to Process Equivalence for Well-Behaved
            Operational Semantics",
   school = "BRICS, Aarhus University",
   type = "{PhD} Dissertation",
   year = {2004},
   note = "Forthcoming"
}