"Interactive Computation: The New Paradigm" - читать интересную книгу автора (Dina Goldin, Scott A. Smolka, Peter Wegner)