Specification Modules in LOTOS