A temporal framework for specifications (1982)

by J M V de Castilho, M A Casanova, A L Furtado
Venue:in: Proc. Int. Conf. on Very Large Data Bases