Interactive computation : the new paradigm - Goldin, Dina; Smolka, Scott A.; Wegner, Peter (Springer, 2006)