Information processing systems { open systems interconnection { LOTOS { a formal description technique based on the temporal ordering of observational behaviour (1987)

by ISO
Venue:ISO/TC 97/SC 21, International Standards Organization