A Calculus for the Derivation of C−MOS Switching Circuits
C. A. R. Hoare
Month
April – October
Note
Two drafts; appeared as ‘A Theory for the Derivation of Combinational C−MOS Circuit Designs'‚ Theoretical Computer Science 90:235–251‚ 1991‚ doi 10.1016/0304−3975(91)90309−P
Year
1988