Logikanalyse im Schaltkreisentwurf mit dem Booleschen Programmsystem QBOOLE. - Volkhard Müller (1993)