Journal of computer and system sciences, Vol.82(1), pp. 3-22 Zeitschrift uri icon