Type-constrained generics (2000)

by S H Valentine, I Toyn, S Stepney, S King
Venue:In ZB2000: International Conference of B and Z Users