Compiler description

[Cláudio Amaral]

Hi!

I am starting to work with erlang and my objective is to develop a tool 
for formal verification of programs. In order to make it easy to 
integrate in the erlang distribution (if it matures enough) I will try 
to define my application embedded in the compilation process as an 
optional step involving the abstract representation.

My question is: can anyone point me some document where I can easily 
learn how things work (with some detail) or the only way is to open the 
sources and hope find the right place to code?

Regards and thanks for the time,
Cláudio Amaral.