1. S. G. Shiva, “Computer Hardware Description Languages- A Tutorial”. Proc. IEEE, vol. 67 no. 12, December 1979, pp. 1605– 1615.
2. “Hardware Description Languages: Voices from the Tower of Babel”;Lipovsky;IEEE Computer Magazine,1977
3. Behavioural Synthesis Workshop, Orcas Island, Washington, January 1988.
4. W. Wolf, “The FSM Network Model for Behavioural Synthesis of Control-Dominated Machines.” Proc. 27th Design Automation Conference, Orlando, Florida, PP. 692–697.
5. ESTELLE (Formal protocol specification technique based on an extended state transition model). ISO standard ISO/DIS9074, 1987.