Finite state description of communication protocols (1976)

by G V Bochmann