Models of computation An introduction to computability theory - Fernandez Maribel (London Springer, 2012)
Keywords: I I C