Theory And Applications Of Models Of Computation door