ISO 8807:1989 Системы обработки информации. Взаимосвязь открытых систем. LOTOS. Техника формального описания, основанная на временном упорядочении наблюдаемого поведения
Information processing systems; open systems interconnection; LOTOS; a formal description technique based on the temporal ordering of observational behaviour
