A Case Study: Validation of Guidance Control Software Requirements for Completeness, Consistency and Fault Tolerance. - Frederick T. Sheldon; Hye Yeon Kim; Zhihe Zhou (PRDC, 2001)

A Review of Some Rigorous Software Design and Analysis Tools. - Frederick T. Sheldon; Gaoyan Xie; Orest Pilskalns; Zhihe Zhou (Softw. Focus, 2001)

A 12-Bit Nonlinear DAC for Direct Digital Frequency Synthesis. - Zhihe Zhou; George S. La Rue (IEEE Trans. Circuits Syst. I Regul. Pap., 2008)