Temporal Logic Vol 2 Olg 40 C door M. Reynolds, etc. & Professor Dov M. Gabbay