Siau-Cheng Khoo Kun Shi Output-constraint specialization. 106-116 2002 ASIA-PEPM http://doi.acm.org/10.1145/568173.568185 db/conf/pepm/asiapepm2002.html#KhooS02