Advances In Temporal Logic by Howard Barringer