1. Synchronization of Parallel Programs;André,1985
2. Concepts for Distributed System Design;von Bochmann,1983
3. Supervisory Control of Discrete Event Processes with Partial Observations;Cieslak,1986
4. Introduction to Switching and Automata Theory;Harrison,1965
5. Communicating Sequential Processes;Hoare,1985