3 citations · 3 across the 2 of their papers we have counts for
1 paper
Alessandro Coglio, Stephen Westfold
In stepwise derivations of programs from specifications, data type refinements are common. Many data type refinements involve isomorphic mappings between the more abstract and more…