Glen E. Newton Proving Properties of Interacting Processes Acta Inf. 4 1974 117-126 db/journals/acta/acta4.html#Newton74 http://dx.doi.org/10.1007/BF00288744