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

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