Amílcar Sernadas Temporal aspects of logical procedure definiton. 167-187 1980 5 Inf. Syst. 3 db/journals/is/is5.html#Sernadas80