An algebra for process creation (1992)

by J C M Baeten, F W Vaandrager
Venue:Acta Inform