Bibliografia:

Modern Compiler Implementation in ML. Andrew W. Appel, Cambridge University Press, 2004. ISBN 978-0521607643

Compiler Construction. Principles and Practice. Kenneth C. Louden, PVS Publishing Company 1997. ISBN 0-534-93972-4

Advanced Compiler Design and Implementation. Steven Muchnick, Morgan Kaufman Publishers, 1997. ISBN 978-1558603202

Compilers: Principles, Techniques, and Tools, Alfred V. Aho, Monica S. Lam, Ravi Sethi and Jeffrey D. Ullman, Prentice Hall, 2006
Referências para OCaml:
- Página "official" do OCaml.
- Uma introdução ao OCaml (em português) do Prof. Simão Sousa (UBI). (aqui)
- Introduction to Objective Caml. Jason Hickey. (Apesar das inúmeras "gralhas" é uma introdução muito fácil de seguir e consultar)
Da página oficial do Menhir pode ser obtido não só o seu manual como também o código, pronto a instalar.