Title: An approach to automating the verification of compact parallel coordination programs.  I
First published: 1983