An introduction to digital computing - Arden, Bruce W (Addison-Wesley Series in Computer Science and Information Processing, 1963)