ISO 9074:1989/AMD1:1993

Information processing systems - Open Systems Interconnection - Estelle: A formal description technique based on an extended state transition model - Amendment 1