1980 | ||
---|---|---|
2 | Ingrid Glasner, Ulrich Möncke, Reinhard Wilhelm: OPTRAN, a Language for the Specification of Program Transformations. Fachtagung über Programmiersprachen 1980: 125-142 | |
1978 | ||
1 | Jacques Loeckx, Ingrid Glasner: A calculus for proving properties of while-programs. Mathematical Studies of Information Processing 1978: 252-281 |
1 | Jacques Loeckx | [1] |
2 | Ulrich Möncke | [2] |
3 | Reinhard Wilhelm | [2] |