Jayadev Misra:
Equational Reasoning About Nondeterministic Processes.
167-195
Volume 2,
Number 3,
1990
Miki Hermann:
Chain Properties of Rule Closures.
207-225
Xudong He, John A. N. Lee:
Integrating Predicate Transition Nets with First Order Temporal Logic in the Specification and Verification of Concurrent Systems.
226-246