| |
| 1975 | ||
|---|---|---|
| 2 | Gordon Lyon, Rona B. Stillman: Simple Transforms for Instrumenting FORTRAN Decks. Softw., Pract. Exper. 5(4): 347-358 (1975) | |
| 1973 | ||
| 1 | EE | Rona B. Stillman: The Concept of Weak Substitution in Theorem-Proving. J. ACM 20(4): 648-667 (1973) |
| 1 | Gordon Lyon | [2] |