W. Janssen. Tools and Algorithms for the Construction and Analysis of Systems, том 1019 из Lecture Notes in Computer Science, Springer Berlin Heidelberg, (1995)
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'.