LUSTRE: Un langage déclaratif pour le temps réel (1986)

by J-L Bergerand