1. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT press (2008)
2. Barendregt, H., Augustsson, L.: Lambda calculi with types. Handb. Log. Comput. Sci. 34, 239–250 (1992)
3. Barwise, J., Moss, L.: Vicious circles: on the mathematics of non-wellfounded phenomena (1996)
4. Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H.B., Spitters, B., Vezzosi, A.: Guarded cubical type theory: path equality for guarded recursion. arXiv preprint arXiv:1606.05223 (2016)
5. Goertzel, B.: Modeling uncertain self-referential semantics with infinite-order probabilities (2008)