A theory of recursive domain equations with applications to concurrency (1997)

by G L Cattani, M P Fiore, G Winskel
Venue:BRICS Report Series RS-- 97--35, BRICS