The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. - Rance Cleaveland; Jayesh N. Gada; Philip M. Lewis; Scott A. Smolka; Oleg Sokolsky; Shipei Zhang (Specification of Parallel Algorithms, 1994)