Peter B. Henderson Yechezkel Zalcstein A Graph-Theoretic Characterization of the PV_chunk Class of Synchronizing Primitives. 88-108 1977 6 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp6.html#HendersonZ77