Theo Jay Powell: A Module Diagnostic Procedure for Combinational Logic. University of Illinois Urbana-Champaign, USA 1969