How Computers Deal With Time; a compendium