Maurice Nivat New Challenges for Theoretical Computer Science. 11-14 1997 conf/tapsoft/1997 TAPSOFT db/conf/tapsoft/tapsoft97.html#Nivat97 http://dx.doi.org/10.1007/BFb0030584