J. Kenneth, E. Turner, S. Lotos, «. , and «. Lotos, British Library of Cataloguing in Publication Data [2] ISO / IEC 10040 « Information technology -Open Systems Interconnection -Systems Management Overview » ISO / IEC 10040, Using Formal Description Techniques. An Introduction to formal description technique based on an extended state transition model. », 1987.