1. Arvind (2003) Bluespec: a language for hardware design, simulation, synthesis and verification invited talk. In: Formal methods and models for codesign (MEMOCODE), Mont Saint-Michel, France. IEEE Comput Soc, New York, pp 249–254
2. Benveniste A, Bournai P, Gautier T, Le Guernic P (1985) SIGNAL: A data flow oriented language for signal processing. Research report 378, INRIA, Rennes, France
3. Benveniste A, Caillaud B, Carloni LP, Sangiovanni-Vincentelli AL (2005) Tag machines. In: Wolf W (ed) Embedded software (EMSOFT), Jersey City, New Jersey, USA. ACM, New York, pp 255–263
4. Benveniste A, Caspi P, Edwards S, Halbwachs N, Le Guernic P, de Simone R (2003) The synchronous languages twelve years later. Proc IEEE 91(1):64–83
5. Berry G (1991) A hardware implementation of pure Esterel. In: Formal methods in VLSI design, Miami, Florida, USA