Proposition of a Language Useable for Structured Specifications language (PLUSS) An algebraic specification language, built on top of ASL. ["A First Introduction to PLUSS", M.C. Gaudel, TR, U Paris Sud, Orsay 1984]. (2006-03-14)