Advanced Boolean Techniques - Drechsler, Rolf (Springer International Publishing, 2020)