@PhDThesis{Che06,
author={L. Cheung},
title={Reconciling Nondeterministic and Probabilistic Choices},
school={Radboud University of Nijmegen},
year={2006},

type={},
address={},
month={},
note={},
key={}
}