Books: Logic synthesis and verification algorithms (sorted by popularity)