Sjouke Mauw: An Algebraic Specification of Process Algebra, Including Two Examples. Algebraic Methods 1987: 507-554