John H. Reif Scott A. Smolka The Complexity of Reachability in Distributed Communicating Processes. 333-354 1988 25 Acta Inf. 3 db/journals/acta/acta25.html#ReifS88