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