VDict mobile



An object-oriented extension of Z.
["Object Orientation in Z", S. Stepney et al eds, Springer
1992].