An operational semantics for process algebra J. C. M. Baeten; J. A. Bergstra; J. W. Klop — 1988 Banach Center Publications