SRDL Small {algebraic specification language}, allows {distfix operators}. ["A Constructive Method for Abstract Algebraic Software Specification", H. Klaeren, Theor Computer Sci 30, pp.134-204, 1984].