Modular verification of computer communication protocols (1993)

by B T Hailpern, S Owicki
Venue:IEEE Transactions on Computers