David Gries. Data Refinement and the Transform. In Manfred Broy, editor, Program Design Calculi, Proceedings of the NATO Advanced Study Institute on Program Design Calculi, Marktoberdorf, Germany, July 28 - August 9, 1992. Volume 118 of NATO ASI Series, pages 93-119, Springer, 1992. [doi]
Abstract is missing.