David W. Currie and Alan J. Hu and Sreeranga Rajan and Masahiro Fujita, ``Automatic Formal Verification of DSP Software''. In
37th ACM/IEEE Design Automation Conference
Brian D. Winters, ``Source-Level Transformations for Improved Formal Verification''. Masters thesis. 2000.
Brian D. Winters and Mark R. Greenstreet, ``A Negative-Overhead, Self-Timed Pipeline''. In
Proceedings of Eighth International Symposium on Advanced Research in Asynchronous Circuits and Systems
Brian D. Winters and Alan J. Hu, ``Source-Level Transformations for Improved Formal Verification''. In
International Conference on Computer Design