PDF Standards 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 Standards Australia / Standards New Zealand, 07/18/1994