![]() | ![]() |
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] |