Borzoo Bonakdarpour Ali Ebnenasir Sandeep S. Kulkarni Complexity results in revising UNITY programs. 2009 4 TAAS 1 http://doi.acm.org/10.1145/1462187.1462192 db/journals/taas/taas4.html#BonakdarpourEK09