Holt, A.W.,
"Choice and Cause: A formal analysis based on Petri-nets",
in Final report for contract N00014-76-C-0701 titled 'Research on information specification', CADD-7708-0911, Wakefield, Massachusetts, Massachusetts Computer Associates, August 9, l977, pp. page numbers from 1-56.
Google