A first course in computability
Rayward-Smith, V. J.(Victor John)
Oxford Blackwell Scientific
1986
Bibliography: p175-177. - Includes index
Electronic digital computers.