Cite
HARVARD Citation
Institution,, B. (1990) Information processing systems. Open systems interconnection. Estelle: a formal description technique based on an extended state transition model.. [Online]. London : British Standards Institution. Available from: http://access.bl.uk/ark:/81055/vdc_100104018064.0x000001