Michael W. Mislove Frank J. Oles A Simple Language Supporting Angelic Nondeterminism and Parallel Composition. 77-101 1991 conf/mfps/1991 MFPS db/conf/mfps/mfps1991.html#MisloveO91 http://dx.doi.org/10.1007/3-540-55511-0_4