Temporal Type Theory - Schultz; Spivak, David I. (Springer International Publishing, 2019)