1. Adamek J (2005) Introduction to coalgebra. Theory Appl Categor 14:157–199
2. Barwise J, Moss L (1996) Vicious circles: on the mathematics of non-wellfounded phenomena. Center for the study of language and information publication lecture notes. Cambridge University Press, Cambridge
3. Descartes R (1998) Discourse on method and meditations on first philosophy. Classics series. Hackett Publishing, Indianapolis
4. Engeler E (ed) (1971) Symposium on semantics of algorithmic languages, vol 188. Lecture notes in mathematics. Springer, Berlin
5. Gandy R (1988) The confluence of ideas in 1936. In: Herken R (ed) A half-century survey on The Universal Turing Machine. Springer, Berlin, pp 55–111