1. Varieties of ordered algebras;Bloom;J. Comput. Systems Sci.,1976
2. The programming language concurrent Pascal;Brinch-Hansen;IEEE TSI,1975
3. Distributed processes: A concurrent programming concept;Brinch-Hansen;Comm. ACM,1978
4. Algebraic families of interpretations;Courcelle;Proc. 17th FOCS Ann. Symp.,1976
5. An enlarged definition and complete axiomatization of observational congruence of finite processes;Darondeau,1982