Jan A. Bergstra, Wan J. Fokkink, C. A. Middelburg. Algebra of timed frames. Int. J. Comput. Math., 61(3-4):227-255, 1996. [doi]
@article{BergstraFM96, title = {Algebra of timed frames}, author = {Jan A. Bergstra and Wan J. Fokkink and C. A. Middelburg}, year = {1996}, doi = {10.1080/00207169608804514}, url = {https://doi.org/10.1080/00207169608804514}, researchr = {https://researchr.org/publication/BergstraFM96}, cites = {0}, citedby = {0}, journal = {Int. J. Comput. Math.}, volume = {61}, number = {3-4}, pages = {227-255}, }