1. Programming in MODULA-2, third, corrected edition;Wirth,1985
2. Communicating Sequential Processes;Hoare,1985
3. A Calculus of Communicating Systens;Milner,1980
4. Information processing systems - Open Systems Interconnect - LOTOS - A formal description technique based on the temporal ordering of observationsl behaviour;ISO IS8807,1988
5. Drawbacks of ADA's Synchronization Mechanism and a Simple Solution;Riese,1989