https://jarylolafewyh.inspirationdayevents.com/advances-in-design-automation-1991-book-20058df.php