Cobo, M. L.; Augusto, J. C. Logical Foundations and Implementation of an Extension of Temporal Logic. JCS&T 2000, 1, 15 p..