Min-Wen Du
M.-W. Du and C. D. Weiss,
"
Circuit Structure and Switching Function Verification
"
,
Transaction on Computer
, Vol. C-22, no. 6, June 1973