Algebra of Timed Frames (1996)

by J.A. Bergstra , W.J. Fokkink , C. A. Middelburg
Citations:11 - 8 self