Marco A. Casanova Antonio L. Furtado On the Description of Database Transition Constraints Using Temporal Languages. 211-236 1982 Advances in Data Base Theory db/conf/adbt/adbt82.html#CasanovaF82