ProGrIL. A language for the definition of protocol grammars - Bloks, R. H. J. (EUT report 93-E-270, 1993)