Mauricio Osorio Bharat Jayaraman David A. Plaisted Theory of Partial-Order Programming. 207-238 1999 34 Sci. Comput. Program. 3 db/journals/scp/scp34.html#OsorioJP99