TY - RPRT TI - Instruction sequences for the production of processes AU - J. A. Bergstra AU - C. A. Middelburg PY - 2008 UR - https://arxiv.org/abs/0811.0436 ID - 0811.0436 ER -