Protocol verification via projections (1984)

by Simon S Lam, A Udaya Shankar
Venue:IEEE Transactions on Software Engineering