PLUSS

Proposition of a Language Useable for Structured Specifications

An algebraic specification language, built on top of ASL.

"A First Introduction to PLUSS", M. C. Gaudel, TR, University of Paris Sud, Orsay, 1984.