SRDL

Small {algebraic specification language}, allows {distfix

operator}s.

["A Constructive Method for Abstract Algebraic Software

Specification", H. Klaeren, Theor Computer Sci 30,

pp.134-204, 1984].