![]() | ![]() |
1994 | ||
---|---|---|
2 | EE | David G. Von Bank, Charles M. Shub, Robert W. Sebesta: A Unified Model of Pointwise Equivalence of Procedural Computations. ACM Trans. Program. Lang. Syst. 16(6): 1842-1874 (1994) |
1989 | ||
1 | Robert W. Sebesta: On Context-Free Programmed Grammars. Comput. Lang. 14(2): 99-108 (1989) |
1 | David G. Von Bank | [2] |
2 | Charles M. Shub | [2] |