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)