VDict mobile



["A Constructive Method for Abstract Algebraic Software
Specification", H. Klaeren, Theor Computer Sci 30,
pp.134-204, 1984].