G. D. Birkhoff, Dynamical Systems, 1927.
DOI : 10.1090/coll/009

P. Blackburn, J. Van-benthem, and F. Wolter, Handbook of Modal Logic. eBook, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00580143

M. M. Bonsangue and A. Kurz, Duality for Logics of Transition Systems, FoSSaCS. Ed. by V. Sassone. Lecture Notes in Computer Science, vol.3441, pp.455-469, 2005.
DOI : 10.1007/978-3-540-31982-5_29

Z. Chaochen, C. A. Hoare, and A. P. Ravn, A calculus of durations, Information Processing Letters, vol.40, issue.5, pp.269-276, 1991.
DOI : 10.1016/0020-0190(91)90122-X

C. Cîrstea, Modal Logics are Coalgebraic, The Computer Journal, vol.54, issue.1, pp.128-140, 2008.
DOI : 10.1093/comjnl/bxp004

B. Jacobs, Object-oriented hybrid systems of coalgebras plus monoid actions, Theoretical Computer Science, vol.239, issue.1, pp.41-95, 2000.
DOI : 10.1016/S0304-3975(99)00213-3

C. Kupke and D. Pattinson, Coalgebraic semantics of modal logics: An overview, Theoretical Computer Science, vol.412, issue.38, 2011.
DOI : 10.1016/j.tcs.2011.04.023

L. S. Moss, Coalgebraic logic, Annals of Pure and Applied Logic, vol.96, issue.1-3, pp.1-3, 1999.
DOI : 10.1016/S0168-0072(98)00042-6

D. Pattinson, Expressivity Results in the Modal Logic of Coalgebras, 2001.

V. Pratt, Semantical Considerations on Floyd?Hoare Logic, Proc. 17th Annual IEEE Symposium on Foundations of Computer Science, pp.109-121, 1976.
DOI : 10.1109/sfcs.1976.27

J. Rutten, Universal coalgebra: a theory of systems, Theoretical Computer Science, vol.249, issue.1, pp.3-80, 2000.
DOI : 10.1016/S0304-3975(00)00056-6

K. Suenaga, H. Sekine, and I. Hasuo, Hyperstream processing systems: nonstandard modeling of continuous-time signals, pp.417-430, 2013.
DOI : 10.1145/2429069.2429120

Y. Venema, Temporal Logic The Blackwell Guide to Philosophical Logic, 2001.