The Application of LOTOS for the Formal Description of the ISO Session Layer. - Marten van Sinderen; Ibrahim Ajubi; Fausto Caneschi (FORTE, 1988)