Giorgetti, Alain and Senni, Valerio Specification and Validation of Algorithms Generating Planar Lehman Words. In: GASCom'12, 8th International Conference on random generation of combinatorial structures, June 25-27, 2012, LaBRI, Bordeaux (Submitted) (2012)