Fondamenti di Informatica, 2000, 3/4