Machine support for Z: the zedB tool (1990)

by D Neilson
Venue:In Proceedings of the 5th Z User Meeting