Recent Developments in the Theory and Practice of Testable Logic Design. - R. G. Bennetts; Roy V. Scott (Computer, 1976)