| |
| 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) | |