Finite state description of communication protocols (1995)

by G V Bochmann