"On Constructing Efficient Differential Cascode Voltage Switch (DCVS) trees using Binary Decision Diagrams (BDDs) [Technical Report] CTI TR 95.6.25 - Αλεξίου, Γεώργιος; Κανόπουλος, Νίκος; Καρούμπαλης, Θεόδωρος (Computer Technology Institute, 1995)