Anthony S. Wojcik Reasoning About Digital Systems. 2-6 1991 ISMVL db/conf/ismvl/ismvl1991.html#Wojcik91