Victoria Stavridou Formal Methods and VLSI Engineering Practice. 96-113 1994 37 Comput. J. 2 db/journals/cj/cj37.html#Stavridou94