a first course in computability - "rayward-smith, v. " (uk : vblackwell, 1986)
includes bibliography
Keywords: electronic data processing