Algebra of timed frames by J.A. Bergstra