Internal State Assignments for Asynchronous Sequential Machines. - James H. Tracey (IEEE Trans. Electron. Comput., 1966)

Automation in the design of asynchronous sequential circuits. - Robert J. Smith 001; James H. Tracey; W. L. Schoeffel; Gary K. Maki (AFIPS Spring Joint Computing Conference, 1968)

Generation of Design Equations in Asynchronous Sequential Circuits. - Gary K. Maki; James H. Tracey; Robert J. Smith 001 (IEEE Trans. Computers, 1969)

A simplification heuristic for large flow tables. - Robert J. Smith 001; James H. Tracey (DAC, 1970)

State Assignment Selection in Asynchronous Sequential Circuits. - Gary K. Maki; James H. Tracey (IEEE Trans. Computers, 1970)

A State Assignment Procedure for Asynchronous Sequential Circuits. - Gary K. Maki; James H. Tracey (IEEE Trans. Computers, 1971)

Maximum-distance linear codes (Corresp.). - Gary K. Maki; James H. Tracey (IEEE Trans. Inf. Theory, 1971)

Procedures for increasing fault coverage for digital networks. - L. Ronald Hoover; James H. Tracey (AFIPS Fall Joint Computing Conference (1), 1972)

Flowware - A Flow Charting Procedure to Describe Digital Networks. - Wayne E. Omohundro; James H. Tracey (ISCA, 1973)

An Asynchronous Circuit Design Language (ACDL). - Gregory Martin Bednar; James H. Tracey (IEEE Trans. Computers, 1974)

An Interactive Computer Graphics Language for the Design and Simulation of Digital Systems. - Shingfat Stephen Ching; James H. Tracey (Computer, 1977)

A hardware description language for processor based digital systems. - James H. Tracey; Kovvali Surya Kumar (DAC, 1982)

Modeling and Description of Processor-Based Systems with DTMSII. - Kovvali Surya Kumar; James H. Tracey (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1987)