more....
An object-oriented extension of Z.
["Object Orientation in Z", S. Stepney et al eds, Springer 1992].
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)