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