1. A Computational Logic;Boyri,1979
2. The automated proof of a trace transformation for a bitonic sort;Huang;Theoret. Comput. Sci.,1986
3. The derivation of systolic implementations of programs;Huang,1986
4. An incremental mechanical development of systolic solutions to the algebraic path problem;Huang,1986