Research interests: algebraic specification, programming languages semantics, fuzzy systems, model theory