Books: Sequential logic synthesis (sorted by popularity)