The implementation of a protocol using automata. - P. G. Mulder; Sebastiaan H. von Solms (Inf. Sci., 1992)