Temporal structures (1991)

by R T Casley, R F Crew, J Meseguer, V R Pratt
Venue:Math. Structures in Comp. Sci