Classical and new paradigms of computation and their complexity hierarchies
Benedikt Löwe
Foundations of the formal sciences II
Models of Computation in Context
PhiMSAMP