Schnelle Testsatzgenerierung für kombinatorische Schaltnetzwerke mit Mitteln des Booleschen Differentialkalküls. - Roland Hilbert (1986)