A unique formalism for VLSI logical and electrical synthesis J. Frehel, J.-C. Longchambon et P. Malardier Rev. Phys. Appl. (Paris), 22 1 (1987) 21-28 DOI: 10.1051/rphysap:0198700220102100