Klaus Keimel
-
Real and complex analysis, 3rd ed.
Probabilistic non-determinism
Domains, integration and ‘positive analysis’
Mathematical Structures in Computer Science