Gérard Berry. The Constructive Semantics of Pure Esterel, Draft Version 3. 2002. http://www-sop.inria.fr/members/Gerard.Berry/Papers/EsterelConstructiveBook.pdf