Y. Arbach, D. Karcher, K. Peters, и U. Nestmann. (2015)cite arxiv:1504.00512Comment: Proofs and additional information for the FORTE'15 paper 'Dynamic Causality in Event Structures'.
W. Janssen. Tools and Algorithms for the Construction and Analysis of Systems, том 1019 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)