conf/vldb/81 Paulo A. S. Veloso José Mauro Volkmer de Castilho Antonio L. Furtado VLDB81/P409.PDF 409-421 1981 VLDB db/conf/vldb/vldb81.html#VelosoCF81 ... journals/toplas/AshcroftW82 ... journals/toplas/CasanovaB80 ... conf/adbt/Clark77 ... ... ... ... conf/popl/GreifM79 journals/cacm/Guttag77 journals/cacm/GuttagHM78 ... journals/acta/Hoare72 journals/acta/HoareL74 ... ... ... ... ... ... journals/ai/McCarthy80 ... ... ... ... ... ... ... ... ... journals/toplas/ThatcherWW82 journals/jacm/EmdenK76