Fixed point semantics in process algebras (1982)

by J Bergstra, J W Klop
Venue:Report IW 206, Mathematisch Centrum