Even, G. Digital logic design: A rigorous approach - Cambridge Cambridge University Press 2012 - xx, 348p. ISBN: 978-1-107-02753-4