E. Quiet. An automated method for producing diagnostic programs. In Ralph J. Preiss, editor, Proceedings of the 7th Design Automation Workshop, DAC '70, San Francisco, California, USA, June 22-25, 1970. pages 132-137, ACM, 1970. [doi]
Abstract is missing.