A book on abstraction of computation.