Temporal Structures. - Ross Casley; Roger F. Crew; José Meseguer 001; Vaughan R. Pratt (Math. Struct. Comput. Sci., 1991)

On the specification of concurrent systems. - Ross Casley (1991)