Better verification through symmetry (1993)

by C Norris Ip, David L Dill
Venue:CHDL, volume A-32 of IFIP Transactions