A theory of recursive domains with applications to concurrency (1998)

by G L Cattani, M Fiore, G Winskel
Venue:In Logic in Computer Science