Leeuwen (ed.), Handbook of Theoretical Computer Science, Volume (1990)