Proposition of a Language Useable for Structured

Specifications. Algebraic specification language, built on

top of ASL. "A First Introduction to PLUSS", M.C. Gaudel, TR,

U Paris Sud, Orsay 1984.