Gagallium : Parser Construction With Menhir: A Couple Appetizers
gallium.inria.fr