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