- CSB - MetaPress - Google - Bing - Yahoo
 | 1986 | |
|---|---|---|
| 3 |      | Zavid L. Lichtman: Generation and Consistency Checking of Design and Program Structures. IEEE Trans. Software Eng. 12(1): 172-181 (1986) |
| 2 | | Zavid L. Lichtman: The Function of T and NIL in LISP. Softw., Pract. Exper. 16(1): 1-3 (1986) |
| 1977 | ||
| 1 | | Zavid L. Lichtman: Interpretation Control Using A Linear Tree Representation. Softw., Pract. Exper. 7(2): 275-278 (1977) |