Jos C. M. Baeten Frits W. Vaandrager An Algebra for Process Creation. 303-334 1992 29 Acta Inf. 4 db/journals/acta/acta29.html#BaetenV92