An Algebraic Specification Method for Processes over a Finite Action Set (1983)

by J A BERGSTRA, J W KLOP
Venue:Report IW 232/83, Mathematisch Centrum