Temporal databases theory, design, and implementation (Benjamin/Cummings, 1993)