00313nam a2200109Ia 4500008004100000020002200041041001200063100004700075245002800122260003200150650002100182231221s9999    xx            000 0 und d  a978-3-540-34874-0  aEnglish  aDina Goldin, Scott A. Smolka, Peter Wegner 0aInteractive Computation  c2006bSpringer USaNew York  aComputer Science