M. Franova and Y. Kodratoff, A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems, The Sixth International Conference on Intelligent Systems and Applications, pp.1-6, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01648748

F. Bacon, The Advancement of Learning, 1994.

E. Bono, Serious Creativity: Using the Power of Lateral Thinking to Create New Ideas, HarperCollins, 1992.

R. Descartes, Edition de F. Alquié. T. 1, Classiques Garnier, vol.3, 1988.

R. Descartes, Rules for the direction of the mind, R. Descartes: Oeuvres complètes, vol.11, pp.359-469, 1996.

I. Franco, Rites and beliefs of Eternity (Rites et croyances d'éternité), 1993.

M. R. Franova-;-l, Precomas 0.3 User Guide, 1989.

M. Franova, Method and UseConception of Complex "Informatics" Systems and Epistemological Patent (Créativité Formelle : Méthode et Pratique-Conception des systèmes « informatiques, Formal Creativity, 2008.

M. Franova, Cartesian versus Newtonian Paradigms for Recursive Program Synthesis, International Journal on Advances in Systems and Measurements, vol.7, pp.209-222, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01131257

M. Franova, D. Hutter, and Y. Kodratoff, Algorithmic Conceptualization of Tools for Proving by Induction 'Unwinding' Theorems-A Case Study, Rap. de Rech. N° 1587, 2016.

M. Franova and Y. Kodratoff, Cartesian Handling Informal Specifications in Incomplete Frameworks, The Fifth International Conference on Intelligent Systems and Applications, pp.100-107, 2016.

M. Franova, List of publications

M. Franova and Y. Kodratoff, Cartesian Systemic EmergenceTackling Underspecified Notions in Incomplete Domains, Proc. of COGNITIVE 2018 : The Tenth International Conference on Advanced Cognitive Technologies and Applications, pp.1-6, 2018.

D. Gries, The Science of Programming, 1981.

S. C. Kleene, Introduction to Meta-Mathematics, 1980.

H. Mantel, A Uniform Framework for the Formal Specification and Verification of Information Flow Security, 2003.

R. W. Ritchie, Classes of predictably computable functions, Trans. Amer. Math. Soc, vol.106, pp.139-173, 1963.

E. W. Weisstein, Young Girl-Old Woman Illusion, From MathWorldA Wolfram Web Resource

A. Yasuhara, Recursive Function Theory and Logic, 1971.

E. , The Thirteen Books of the Elements, 1956.