an introduction to digital computing - "george, f. " (uk : pergamon press, 1966)