M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke, A core calculus of dependency, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '99, pp.147-160, 1999.
DOI : 10.1145/292540.292555

M. Abadi, B. Lampson, and J. Lévy, Analysis and caching of dependencies, Proc. Functional Programming, pp.83-91, 1996.

F. Baader and T. Nipkow, Term Rewriting and All That, 1998.

N. Dershowitz and J. Jouannaud, Rewrite systems Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, pp.243-320, 1990.

O. Deussen, P. Hanrahan, B. Lintermann, R. M?ch, M. Pharr et al., Realistic modeling and rendering of plant ecosystems, Proceedings of the 25th annual conference on Computer graphics and interactive techniques , SIGGRAPH '98, pp.275-286, 1998.
DOI : 10.1145/280814.280898

J. C. Hart, The object instancing paradigm for linear fractal modeling, Proc. Graphics Interface, pp.224-231, 1992.

J. Hartman and J. Wernecke, VRML 2.0 Handbook, The: Building Moving Worlds on the Web, 1996.

M. Kang, P. De-reffye, J. Barczi, B. Hu, and F. Houllier, Stochastic 3d tree simulation using substructure instancing, Proceedings of the International symposium on plant growth modeling, simulation, visualization and their applications, pp.154-168, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00121486

J. C. King, Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976.
DOI : 10.1145/360248.360252

L. Guernic, G. , and T. Jensen, Monitoring information flow, Proc. Workshop on Foundations of Computer Security, pp.19-30, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00001218

L. Guernic, G. , and J. Perret, FL-system's Intelligent Cache, Proc. MajecStic, pp.79-87, 2005.

A. Lindenmayer, Mathematical models for cellular interactions in development I. Filaments with one-sided inputs, Journal of Theoretical Biology, vol.18, issue.3, pp.280-315, 1968.
DOI : 10.1016/0022-5193(68)90079-9

C. Marrin, R. Carey, and G. Bell, A VRML specification, 1997.

J. Marvie, J. Perret, and K. Bouatouch, The FL-system: a functional L-system for procedural geometric modeling, The Visual Computer, vol.11, issue.5, pp.329-339, 2005.
DOI : 10.1007/s00371-005-0289-z

P. Prusinkiewicz, A. Lindenmayer, and J. S. Hanan, The algorithmic beauty of plants, 1990.
DOI : 10.1007/978-1-4613-8476-2

P. Prusinkiewicz, L. Mundermann, R. Karwowski, and B. Lane, The use of positional information in the modeling of plants, Proceedings of the 28th annual conference on Computer graphics and interactive techniques , SIGGRAPH '01, pp.289-300, 2001.
DOI : 10.1145/383259.383291

W. Pugh and T. Teitelbaum, Incremental computation via function caching, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '89, pp.315-328, 1989.
DOI : 10.1145/75277.75305

D. Shreiner, OpenGL Reference Manual: The Official Reference Document to OpenGL, OpenGL, 2004.