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