Event-based specification and verification of distributed systems - Chen, Bo-Shoe (Univ. Microfilms Internat., 1983)