Using Transformations and Verification in Ciruit Design.

James B. Saxe Stephen J. Garland John V. Guttag James J. Horning Using Transformations and Verification in Ciruit Design. 1-25 1992 conf/ifip10-2/1992a Designing Correct Circuits db/conf/ifip10-2/ifip10-2-1992a.html#SaxeGGH92