Data Types (ADTs) are used to specify the intended effect of concrete data types by defining their properties as a set of data objects with their manipulating operations. Because of their formal base, the ADT specifications can serve as abstract, correct, and unambiguous references for the implementation. LOTOS, as an abstract specification language, uses an ADT based on ACT ONE formalism to de...