@inproceedings{CP95,
title = {A functional extension to {\sc Lustre} },
author = {Caspi, Paul and Pouzet, Marc},
month = {Sydney, May},
year = {1995},
booktitle = {8th Int. Symp. on Languages for Intensional Programming},
note = {invited conference},
publisher = {World Scientific},
team = {SYNC},
}
