Jan A. Bergstra C. A. Middelburg A Thread Algebra with Multi-level Strategic Interleaving. 35-48 2005 conf/cie/2005 CiE http://dx.doi.org/10.1007/11494645_5 db/conf/cie/cie2005.html#BergstraM05