252-1424-00L  Models of Computation