Is It a “Good” Encoding of Mixed Choice?

@incollection{mixedchoice-lncs7213,
   apice = {MixedchoiceLncs2012},
   author = {Peters, Kirstin and Nestmann, Uwe},
   booktitle = {Foundations of Software Science and Computational Structures},
   doi = {10.1007/978-3-642-28729-9_14},
   editor = {Birkedal, Lars},
   isbn = {978-3-642-28728-2},
   pages = {210--224},
   publisher = {Springer Berlin Heidelberg},
   series = {Lecture Notes in Computer Science},
   title = {Is It a ``Good'' Encoding of Mixed Choice?},
   url = {http://link.springer.com/chapter/10.1007/978-3-642-28729-9_14},
   volume = 7213,
   year = 2012
}