Paper  doi  bibtex   

@article{berry_esterel_1992,
	title = {The {ESTEREL} {Synchronous} {Programming} {Language}: {Design}, {Semantics}, {Implementation}},
	volume = {19},
	issn = {0167-6423},
	shorttitle = {The {ESTEREL} {Synchronous} {Programming} {Language}},
	url = {http://dx.doi.org/10.1016/0167-6423(92)90005-V},
	doi = {10.1016/0167-6423(92)90005-V},
	number = {2},
	urldate = {2014-05-16TZ},
	journal = {Sci. Comput. Program.},
	author = {Berry, Gérard and Gonthier, Georges},
	month = nov,
	year = {1992},
	note = {01960},
	pages = {87--152}
}