Source : Free On-Line Dictionary of Computing

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.