Hans-Jörg Mathony, Utz G. Baitinger: CARLOS: an automated multilevel logic design system for CMOS semi-custom integrated circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(3): 346-355 (1988)