K. Barkati and P. Jouvelot, Synchronous programming in audio processing, ACM Computing Surveys, vol.46, issue.2, p.24, 2013.
DOI : 10.1145/2543581.2543591

URL : https://hal.archives-ouvertes.fr/hal-00751490

V. Bebelis, P. Fradet, A. Girault, and B. Lavigueur, BPDF: A statically analyzable dataflow model with integer and boolean parameters, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-3, 2013.
DOI : 10.1109/EMSOFT.2013.6658581

URL : https://hal.archives-ouvertes.fr/hal-00923672

A. Benveniste, P. L. Guernic, and C. Jacquemot, Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991.
DOI : 10.1016/0167-6423(91)90001-E

R. C. Boulanger, The Csound Book: Perspectives in Software Synthesis, Sound Design, Signal Processing, and Programming. The Csound Book: Perspectives in Software Synthesis, Sound Design, Signal Processing, and Programming, 2000.

P. Caspi, . Gr, M. Hamon, and . Pouzet, Lucid synchrone: un langage pour la programmation des systèmes réactifs, Systèmes temps réel. Lavoisier, 2007.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.178-188, 1987.
DOI : 10.1145/41625.41641

A. Guatto, A Synchronous Functional Language with Integer Clocks, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01490431

P. Jouvelot and Y. Orlarey, Dependent vector types for data structuring in multirate Faust, Computer Languages, Systems & Structures, vol.37, issue.3, pp.113-131, 2011.
DOI : 10.1016/j.cl.2011.03.001

URL : https://hal.archives-ouvertes.fr/hal-00628564

S. C. Kleene, General recursive functions of natural numbers, Mathematische Annalen, vol.110, issue.1, pp.727-742, 1936.
DOI : 10.1007/BF01565439

E. A. Lee and D. G. Messerschmitt, Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, IEEE Transactions on Computers, vol.36, issue.1, pp.24-35, 1987.
DOI : 10.1109/TC.1987.5009446

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proc. of the IEEE, pp.1235-1245, 1987.
DOI : 10.1109/PROC.1987.13876

F. Nielson, Annotated type and effect systems, ACM Computing Surveys, vol.28, issue.2, pp.344-345, 1996.
DOI : 10.1145/234528.234745

Y. Orlarey, D. Fober, and S. Letz, Syntactical and semantical aspects of Faust, Soft Computing, vol.8, issue.9, pp.623-632, 2004.
DOI : 10.1007/s00500-004-0388-1

Y. Orlarey, P. Jouvelot, and C. Paristech, Signal rate inference for multi-dimensional faust, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01364119

J. O. Smith, Introduction to Digital Filters, 2008.
DOI : 10.1016/B978-0-7506-7444-7/50051-0

J. P. Talpin and S. K. Shukla, Automated clock inference for stream function-based system level specifications, Tenth IEEE International High-Level Design Validation and Test Workshop, 2005., pp.63-70, 2005.
DOI : 10.1109/HLDVT.2005.1568815

R. Zazkis and J. Truman, From Trigonometry to Number Theory??? and Back: Extending LCM to Rational Numbers, Digital Experiences in Mathematics Education, vol.1, issue.1, pp.79-86, 2015.
DOI : 10.1007/s40751-015-0001-5