Donald Sannella What Does the Future Hold for Theoretical Computer Science? 15-19 1997 conf/tapsoft/1997 TAPSOFT db/conf/tapsoft/tapsoft97.html#Sanella97 http://dx.doi.org/10.1007/BFb0030585