Modular verification of computer commuincation protocols (1983)

by B T Hailpern, S S Owicki
Venue:IEEE Trans. on Commun