Cite
HARVARD Citation
Institution,, B. (1985) Open Systems Interconnection: LOTOS, a formal description technique based on the temporal ordering of observational behaviour (ISO/DP 8807). [Online]. London : British Standards Institution. Available from: http://access.bl.uk/ark:/81055/vdc_100104988397.0x000001