Interactive Computation The New Paradigm - Goldin, Dina; Smolka, Scott A.; Wegner, Peter (Springer Berlin Heidelberg, 2006)