Deriving protocols from services in the finite state machine representation - Kapus-Kolar, Monika (Informatica (Ljubljana), 1988)