Fisher et al., “Formal Specification and Verification of Graphical User Interfaces,” IEEE 1991, pp. 114-123. |
Charles Zukowski et al., “CMOS Transistor Sizing for Minimization of Energy-Delay Product”, Dept. of Electrical Engineering, Columbia University, pp. 1-3, No Date. |
Christopher Tretz et al., “CMOS Transistor Sizing for Minimization of Energy-Delay Product”, Proceedings, The Sixth Great Lakes Symposium on VLSI, Mar. 22-23, 1996, IEEE Computer Society Press, pp. 168-173. |
Neil H. E. Weste et al., “Principles of CMOS VLSI Design—A Systems Perspective”, Second Edition, Addison-Wesley Publishing Company, pp. 216-230, No Date. |
Lance A. Glasser et al., “The Design and Analysis of VLSI Circuits”, Addison-Wesley Publishing Company, Inc., 1985, pp. 253-263. |