Equational Reasoning about LOTOS Specifications: A Rewriting Approach