H. Zedan
Bristol University, Bristol, England, U.K.
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Communicating sequential processes