Title: A Calculus and a data manipulation language for the TAU temporal object model
First published: 1996