Interactive computation the new paradigm - Goldin, Dina Q.; Smolka, Scott A.; Wegner, Peter (Springer-Verlag, 2010)