Computer - aidedcircuit analysis using space. - Banzhaf, Walter