Gordon D. Plotkin. A Powerdomain for Countable Non-Determinism (Extended Abstract). In Mogens Nielsen, Erik Meineche Schmidt, editors, Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings. Volume 140 of Lecture Notes in Computer Science, pages 418-428, Springer, 1982.
@inproceedings{Plotkin82,
title = {A Powerdomain for Countable Non-Determinism (Extended Abstract)},
author = {Gordon D. Plotkin},
year = {1982},
researchr = {https://researchr.org/publication/Plotkin82},
cites = {0},
citedby = {0},
pages = {418-428},
booktitle = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings},
editor = {Mogens Nielsen and Erik Meineche Schmidt},
volume = {140},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11576-5},
}