Alur, R., &; Henzinger, T. A. (1989). A really temporal logic. In 30th Annual Symposium on Foundations of Computer Science (pp. 164–169). Research Triangle Park, NC, USA: IEEE.https://doi.org/10.1109/SFCS.1989.63473 

Edelsbrunner, H., Kirkpatrick, D., &; Seidel, R. (1983). On the shape of a set of points in the plane. IEEE Transactions on Information Theory. IEEE.https://doi.org/10.1109/TIT.1983.1056714