ACPt: a universal axiom system for proces specification / [by] J. W. Klop [and] J. A. Bergstra
ACPt: a universal axiom system for proces specification