Jan A. Bergstra Pum Walters Operator programs and operator processes. 681-689 2003 45 Inf. Softw. Technol. 10 https://doi.org/10.1016/S0950-5849(03)00075-2 db/journals/infsof/infsof45.html#BergstraW03