See ModelsOfComputation.