Rotter Csaba V.: Formal grammars in conformance testing : [abstract].
Rotter Csaba V.: Regular grammar model for protocol testing : [abstract].