(1)
Cattani, G. L.; Stark, I.; Winskel, G. Presheaf Models for the Pi-Calculus. BRICS 1997, 4.