Jon G. Hall;Andrew Martin
-;-
Type-Constrained Generics for Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B