1. Book Computer;Kohavi,1978
2. and , Strategies for Real-Time System Specification, Dorset House Publishing Co., Inc., New York, NY 10014, 1987, Chapter 6.
3. , , and , ‘Task sequencing language for specifying distributed Ada systems’, in System Development and Ada, Springer-Verlag. 1987. pp. 249–305.
4. Multiprocessor Toolsmiths Inc., Unison User's Guide, Software Release 1.1, Kanata, Ontario, Canada, November 1987.
5. and , ‘The distributed monitor system of TOPSYS’, Proc. CONPAR 1990-VAPP IV September 1990, Springer-Verlag, pp. 756–765.