Formal Description in LOTOS of the OSI Session Layer: Introduction