@book(AILS2007,
 author       = "L. Aceto and A. Ingolfsdottir and K.G. Larsen and J. Srba",
 year         = "2007",
 title        = "Reactive Systems: Modelling, Specification and Verification",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511814105",
)
@article(AILS2011,
 author       = "L. Aceto and A. Ingolfsdottir and P. B. Levy and J. Sack",
 year         = "2012",
 title        = "Characteristic Formulae for Fixed-Point Semantics: A General Framework",
 journal      = "Mathematical Structures in Computer Science",
 doi          = "10.4204/EPTCS.8.1",
 note         = "Special issue devoted to selected papers from EXPRESS 2009, Cambridge University Press",
)
@proceedings(HANDBOOK-PA,
 editor       = "Jan Bergstra and Alban Ponse and Scott A. Smolka",
 year         = "2001",
 title        = "Handbook of Process Algebra",
 publisher    = "Elsevier",
)
@incollection(vG2001,
 author       = "R. {van} Glabbeek",
 year         = "2001",
 title        = "The linear time--branching time spectrum. {I}. {T}he semantics of concrete, sequential processes",
 editor       = "\write \rebib { editor = "Bergstra",}",
 pages        = "3--99",
 doi          = "10.1016/B978-044482830-9/50019-9",
)
@article(GV92,
 author       = "Jan Friso Groote and Frits W. Vaandrager",
 year         = "1992",
 title        = "Structured Operational Semantics and Bisimulation as a Congruence",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "2",
 pages        = "202--260",
 doi          = "10.1016/0890-5401(92)90013-6",
)
@article(HM85,
 author       = "M. Hennessy and R. Milner",
 year         = "1985",
 title        = "Algebraic laws for nondeterminism and concurrency",
 journal      = "Journal of the ACM",
 volume       = "32",
 number       = "1",
 pages        = "137--161",
 doi          = "10.1145/2455.2460",
)
@article(Ke76,
 author       = "R.M. Keller",
 year         = "1976",
 title        = "Formal verification of parallel programs",
 journal      = "Communications of the ACM",
 volume       = "19",
 number       = "7",
 pages        = "371--384",
 doi          = "10.1145/360248.360251",
)
@article(Koz83,
 author       = "Dexter Kozen",
 year         = "1983",
 title        = "Results on the Propositional mu-Calculus",
 journal      = "Theoretical Computer Science",
 volume       = "27",
 pages        = "333--354",
 doi          = "10.1016/0304-3975(82)90125-6",
)
@article(Larsen1990,
 author       = "Kim Guldstrand Larsen",
 year         = "1990",
 title        = "Proof Systems for Satisfiability in {Hennessy--Milner} Logic with Recursion",
 journal      = "Theoretical Computer Science",
 volume       = "72",
 number       = "2--3",
 pages        = "265--288",
 doi          = "10.1016/0304-3975(90)90038-J",
)
@article(Ta55,
 author       = "A. Tarski",
 year         = "1955",
 title        = "A Lattice-Theoretical Fixpoint Theorem and its Applications",
 journal      = "Pacific Journal of Mathematics",
 volume       = "5",
 number       = "2",
 pages        = "285--309",
 url          = "http://projecteuclid.org/euclid.pjm/1103044538",
)