Abstract syntax document