"Instruction sequences for the production of processes"

Jan A. Bergstra, Cornelis A. Middelburg (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics