AS/NZS 4199:1994
AS/NZS 4199:1994
Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour
standard by Australian/New Zealand Standards, 01/01/1994