| |
| 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] |