Handbook of Temporal Reasoning in Artificial Intelligence, Volume 1 door Dov Gabbay, Michael Fisher & Lluis Vila