A term model for synchronous processes - Hennessy, Matthew (University <Edinburgh>, 1981)