Boris D. Lubachevsky An Approach to Automating the Verification of Compact Parallel Coordination Programs I. 125-169 1984 21 Acta Inf. db/journals/acta/acta21.html#Lubachevsky84