(1)
Hildebrandt, T. T. A Fully Abstract Presheaf Semantics of SCCS With Finite Delay. BRICS 1999, 6.