Steve Reeves, David Streader. Constructing Programs or Processes. J. UCS, 11(12):2034-2045, 2005. [doi]
@article{ReevesS05, title = {Constructing Programs or Processes}, author = {Steve Reeves and David Streader}, year = {2005}, url = {http://www.jucs.org/jucs_11_12/constructing_programs_or_processes}, researchr = {https://researchr.org/publication/ReevesS05}, cites = {0}, citedby = {0}, journal = {J. UCS}, volume = {11}, number = {12}, pages = {2034-2045}, }