Jan A. Bergstra Gheorghe Stefanescu Processes with Multiple Entries and Exits. 136-145 1995 conf/fct/1995 FCT db/conf/fct/fct95.html#BergstraS95