Löw, Tobias :
Locally Boolean Domains and Universal Models for Infinitary Sequential Languages.
[Online-Edition]
Technische Universität, Darmstadt
[Ph.D. Thesis], (2007)