Automated protocol verification. - Jonathan Billington; Michael C. Wilbur-Ham; M. Y. Bearman (PSTV, 1985)