Bharat Jayaraman Mauricio Osorio Kyonghee Moon Partial Order Programming <i>(Revisited)</i>. 561-575 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#JayaramanOM95