Abstract
Program refinement has received a lot of attention in the context of stepwise development of correct
programs, since the introduction of transformational programming techniques by [Wir71, Hoa72, Ger75,
BD77] in the seventies. This report presents a new framework of program refinement, that is based on
a refinement relation between UNITY programs. The main
... read more