A treatise on time and space / J. R. Lucas. London : Methuen, 1973