Data Refinement of Mixed Specifications

Beverly A. Sanders. Data Refinement of Mixed Specifications. Acta Informatica, 35(2):91-129, 1998. [doi]

Abstract

Abstract is missing.