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 http://dx.doi.org/10.1007/BF00283332