Matthew Hennessy Axiomatising Finite Delay Operators. 61-88 1984 21 Acta Inf. db/journals/acta/acta21.html#Hennessy84