(1)
Introduction. INF 31 (4).