Title: Verification of several parallel coordination programs based on descriptions of their reachability sets
First published: 1981