Computer aided generation of test sequences for logical systems - Bennetts, Roger G. (1972)