Fundamentals of switching theory and logic design a hands on approach - Astola (Springer, 2006)