An algebraic language for query and update of temporal databases (1988)

by E McKenzie