Models of computation : exploring the power of computing - SAVAGE (Massachusetts: Addison-Wesley, 1998)
Keywords: System analysis; Computer science