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