Abstract Computing Machines - Kluge, W.; Brauer, W.; Rozenberg, G.; Salomaa, A. (Springer Berlin Heidelberg, 2005)