Rahim, S. et al. 2012. A Flip-Flop Matching Engine to Verify Sequential Optimizations. Computing and Informatics. 23, 5-6 (Feb. 2012), 437–460.