Bailes, P. A. (1986) Bailes, P. A. "Static Checking of Variable Handling in Dijkstra's Guarded Commands Language"
Donnan, G. and M. E. C. Hull (1986) Donnan, G. and M. E. C. Hull "On Processes, Synchronization and Redundant Code in Communicating Sequential Processes"