Goldin, D. Interactive computation: The new paradigm - Berlin Springer-Verlag 2006 - xiv, 487p. ISBN: 3-540-34666-X