D. Q. M. Fay
Queeen's University, Belfast, N. Ireland
A general-purpose algorithm for analyzing concurrent programs
Communications of the ACM
Communicating sequential processes
OCCAM
ACM SIGPLAN Notices
Occam Programming Manual