Algebra of timed frames”, (1996)

by J A Bergstra, W J Fokkink, C A Middelburg
Venue:International Journal of Computer Mathematics,