| 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]. |
About this site and copyright information - Online Dictionary Home