The role of behaviour in VLSI design languages - Davie, Bruce S.; Milne, George J. (1986)