Formal semantics for time in databases - Clifford, J; Warren, DS (ACM Trans Database Systems, 1983)