Affiliation: | Department of Computer Science, The Technion, Haifa, Israel;Programming Research Group, Oxford University, Oxford, OX2 6PE, England;Department of Computer Science, the Hebrew University, Jerusalem, Israel;Department of Computer Science, University of Utrecht, Utrecht, Holland, Netherlands |