Implementation doc for the parser