Edinburgh Workshop on VLSI (1985)

• Formal aspects of VLSI design