| 1983 | ||
|---|---|---|
| 2 | Eric C. R. Hehner, Brad A. Silverberg: Programming with Grammars: An Exercise in Methodology-Directed Language Design. Comput. J. 26(3): 277-281 (1983) | |
| 1979 | ||
| 1 | Karl N. Levitt, Lawrence Robinson, Brad A. Silverberg: Writing Simulatable Specifications in SPECIAL. The Use of Formal Specification of Software 1979: 39-78 | |
| 1 | Eric C. R. Hehner | [2] |
| 2 | Karl N. Levitt | [1] |
| 3 | Lawrence Robinson | [1] |