A Procedure for Converting Logic Table Conditions
into an Efficient Sequence of Test Instructions
CACM September, 1963
Egler, J. F.
