T. T. Hildebrandt, “A Fully Abstract Presheaf Semantics of SCCS with Finite Delay”, BRICS, vol. 6, no. 28, Jan. 1999.