P. Aczel, An Introduction to Inductive Definitions, Handbook of Mathematical Logic of Studies in Logic and the Foundations of Mathematics, chapter, pp.739-782, 1977.
DOI : 10.1016/S0049-237X(08)71120-0

Y. Bertot and V. Komendantsky, Fixed point semantics and partial recursion in Coq, Proceedings of the 10th international ACM SIGPLAN symposium on Principles and practice of declarative programming, PPDP '08, pp.89-96, 2008.
DOI : 10.1145/1389449.1389461

URL : https://hal.archives-ouvertes.fr/inria-00190975

N. Bourbaki, Théorie des ensembles : Fascicule de résultats, 1939.

S. Burris and H. Sankappanavar, A Course in Universal Algebra. Number 78 in Graduate Texts in Mathematics, 1981.

P. Cousot and R. Cousot, Constructive versions of Tarski???s fixed point theorems, Pacific Journal of Mathematics, vol.82, issue.1, pp.43-57, 1979.
DOI : 10.2140/pjm.1979.82.43

H. Grall, Deux critères de sécurité pour l'exécution de code mobile, CERMICS, 2003.

S. Lang, Algebra, Revised Third Edition. Graduate Texts in Mathematics, 2002.

X. Leroy and H. Grall, Coinductive big-step operational semantics, Information and Computation, vol.207, issue.2, pp.284-304, 2009.
DOI : 10.1016/j.ic.2007.12.004

URL : https://hal.archives-ouvertes.fr/inria-00309010

G. Markowsky, Chain-complete posets and directed sets with applications, Algebra Universalis, vol.5, issue.1, pp.53-68, 1976.
DOI : 10.1007/BF02485815

A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955.
DOI : 10.2140/pjm.1955.5.285

URL : http://projecteuclid.org/download/pdf_1/euclid.pjm/1103044538