Computation, Physics and Beyond - Hutchison, David; Kanade, Takeo; Khoussainov, Bakhadyr; Nies, Prof. Andre (Springer Berlin Heidelberg, 2012)