Victoria Stavridou Gordon's Computer: A Hardware Verification Case Study in OBJ3. 265-310 1994 4 Formal Methods in System Design 3 db/journals/fmsd/fmsd4.html#Stavridou94 http://dx.doi.org/10.1007/BF01384049