Israel Symposium on the Theory of Computing and Systems (3rd 1994 Tel Aviv, Israel)