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].Nearby terms:
S. R. Bourne ♦ SRC Modula-3 ♦ SRDL ♦ SR flip-flop ♦ SRI ♦ SRI International
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading