Source : Free On-Line Dictionary of Computing

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].