Cristiana Bolchini, Massimo Bombana, Patrizia Cavalloro, Claudio Costi, Franco Fummi, Giuseppe Zaza. A design methodology for the correct specification of VLSI systems. Journal of Systems Architecture, 38(1-5):563-570, 1993. [doi]
Abstract is missing.