Powerdomain construction in the category of algebraic lattices (1985)

by K � Hrbacek�
Venue:In� Au� tomata� Languages and Programming� edited by W. Brauer. Lecture Notes in Computer Science