Steven K. Graham: Closure Properties of a Probabilistic Domain Construction. MFPS 1987: 213-233