Eric W. van Ammers Program Families: Program Construction by Context Independent Refinements. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1998, v:30, n:3, pp:251-286 [Journal]
Mark Moir Fast, Long-Lived Renaming Improved and Simplified. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1998, v:30, n:3, pp:287-308 [Journal]