Protocol specification testing, and verification,IX : сборник / Ed. E. Brinksma, 1990. - XVI,401 p. p. - Текст : непосредственный.