%D 2012 %L eprints1344 %T Specification and Validation of Algorithms Generating Planar Lehman Words %A Alain Giorgetti %A Valerio Senni %C Bordeaux, France