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].
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].
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012