[1993] The 2nd Israel Symposium on Theory and Computing Systems