conf/vldb/82 José Mauro Volkmer de Castilho Marco A. Casanova Antonio L. Furtado A Temporal Framework for Database Specifications. 280-291 1982 VLDB db/conf/vldb/vldb82.html#CastilhoCF82 db/conf/vldb/CastilhoCF82.html VLDB82/P280.PDF ... conf/vldb/Brodie81 ... ... journals/toplas/CasanovaB80 ... ... books/ph/Dijkstra76 ... ... conf/vldb/EhrigKW78 ... journals/cacm/Hoare69 ... journals/tods/LockemannMWW79 journals/tse/LiskovZ75 ... conf/vldb/MontgomeryR81 ... journals/toplas/MannaW84 ... conf/focs/Pnueli77 ... ... journals/is/Sernadas80 ... ...