Verification of Communications Protocols and Abstract Process Models. Ph.D. Th., University of Texas at Austin (1982)

by B L Di Vito