Defining Computation

chapter:3