proposition of a language useable for structured specifications

from The Free On-line Dictionary of Computing (8 July 2008)

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)