(1)
Cattani, G. L.; Fiore, M. P.; Winskel, G. A Theory of Recursive Domains With Applications to Concurrency. BRICS 1997, 4.