An introduction to digital computing - Arden, Bruce W. (Addison-Wesley series in computer science and information processing, 1963)