1. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM (JACM) 43(1), 116–146 (1996)
2. Artin, M., Grothendieck, A., Verdier, J.-L.: Theorie de Topos et Cohomologie Etale des Schemas I, II, III. Lecture Notes in Mathematics, vols. 269, 270, 305. Springer, Berlin (1971)
3. Ashby, W.: Design for a Brain: The Origin of Adaptive Behaviour. Springer, Berlin (2013)
4. Åström, K.J., Wittenmark, B.: Adaptive Control. Courier Corporation, New York (2013)
5. Awodey, S.: Natural models of homotopy type theory. Math. Struct. Comput. Sci. 1–46 (2016). arXiv:1406.3219 [math.CT]