Guy Even, Moti Medina: Digital Logic Design - A Rigorous Approach. Cambridge University Press 2012, ISBN 978-1-107-02753-4, pp. I-XX, 1-348