Competitive paging algorithms (1988)