Kees Joost Batenburg Antal Nagy Maurice Nivat 1 2008 406 Theor. Comput. Sci. 1-2 http://dx.doi.org/10.1016/j.tcs.2008.07.010 db/journals/tcs/tcs406.html#BatenburgNN08