Lucas, John R.: A treatise on time and space. London : Methuen, 1976