Motivating time as a first class entity (1987)

by I Lee, V Wolfe, S Davidson