Survey of protocol definition and verification techniques (1978)

by Carl A Sunshine
Venue:ACM SIGCOMM Computer Communication Review, Volume 8, Issue