David Chenho Kung. A Temporal Framework for Database Specification and Verification. In Umeshwar Dayal, Gunter Schlageter, Lim Huat Seng, editors, Tenth International Conference on Very Large Data Bases, August 27-31, 1984, Singapore, Proceedings. pages 91-99, Morgan Kaufmann, 1984. [doi]
Abstract is missing.