Models of computation : exploring the power of computing - SAVAGE (Addison-Wesley, 1998)