An introduction to digital computing - Arden, Bruce W. (Addison-Wesley, 1963)