CADiZ: An architecture for Z tools and its implementation (1995)

by I Toyn, J A McDermid
Venue:Software Practice and Experience