Topology (1992)

by M B Smyth
Venue:in Handbook of Logic in Computer Science