Added abstract syntax diagrams
Corrected listings