Goldberg, Y., W. Silverman, and E. Shapiro, Logic Programs with Inheritance, Proceedings FGCS'92: Conference on Fifth Generation Computer Systems, Tokyo, June, ICOT, pp.951-960.
Auerbach, J. S., D. F. Bacon, A. P. Goldberg, G. S. Goldszmidt, M. T. Kennedy, A. R. Lowry, J. R. Russell, W. Silverman, R. E. Strom, D. M. Yellin and S. A. Yemini, ``High-Level Language Support for Programming Reliable Distributed Systems'' I.B.M. Research Report RC 16441 (#73054), January 15, 1991.
Silverman, W., M. Hirsch, A. Houri and E. Shapiro, ``The Logix System User Manual'', Weizmann Institute Technical Report CS86-21, Rehovot, 1986 and in Concurrent Prolog: Collected Papers, MIT Press, December 1987. Hirsch, M., W. Silverman and E. Shapiro, ``Layers of protection and control in the Logix system'', Weizmann Institute Technical Report CS86-19, Rehovot, 1986 and in Concurrent Prolog: Collected Papers, MIT Press, December 1987.
Wilk, A. and W. Silverman, ``OPTIMA - A Portable PCODE Optimizer'', Software - Practice and Experience, 13, 323-354 (1983). Wilk, A. and W. Silverman, ``A Portable PCODE Optimizer'', Proceedings of the National Conference on Data Processing, Jerusalem, 1982. Silverman, W. and M. Raim, ``The GOLEM B Operating System'', Proceedings of the National Conference on Data Processing, Jerusalem, 1974.