PLUSS - 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.
Comments, Experience, Additions
Next Language: P+