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