A calculus for proving properties of while-programs. - Jacques Loeckx; Ingrid Glasner (Mathematical Studies of Information Processing, 1978)

OPTRAN, a Language for the Specification of Program Transformations. - Ingrid Glasner; Ulrich Möncke; Reinhard Wilhelm (Fachtagung über Programmiersprachen, 1980)