Algebra of timed frames door J.A. Bergstra