Duality in specification languages: a lattice-theoretical approach R. J. R. BackJ. von Wright OriginalPaper Pages: 583 - 625
Minimizing time-space cost for database version control Lin YuDaniel J. Rosenkrantz OriginalPaper Pages: 627 - 663
Proving relative lower bounds for incremental algorithms A. Michael BermanMarvin C. PaullBarbara G. Ryder OriginalPaper Pages: 665 - 683