Manfred Broy. (Inter-)Action Refinement: The Easy Way. 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 121-158, Springer, 1992. [doi]
Abstract is missing.