The Tides of Time — book by John Brunner