Fabio Alessi, Paolo Baldan, Furio Honsell. A category of compositional domain-models for separable Stone spaces. Theoretical Computer Science, 290(1):599-635, 2003.
@article{AlessiBH03,
title = {A category of compositional domain-models for separable Stone spaces},
author = {Fabio Alessi and Paolo Baldan and Furio Honsell},
year = {2003},
tags = {composition},
researchr = {https://researchr.org/publication/AlessiBH03},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {290},
number = {1},
pages = {599-635},
}