Annex A-E specification method for textual languages