@article {IOPORT.05415629,
    author       = {Den Hartog, Jerry and De Vink, Erik P.},
    title        = {Mixing up nondeterminism and probability: a preliminary report.},
    year         = {1999},
    journal      = {Electronic Notes in Theoretical Computer Science},
    volume       = {22},
    publisher    = {Elsevier, Amsterdam},
    doi          = {10.1016/S1571-0661(05)82521-6},
    identifier   = {05415629},
}