Axiomatising finite delay operators (1984)

by Matthew Hennessy
Venue:Acta Informatica