IEEE TRANSACTIONS ON COMPUTERS, vol. 65, no. 2, page. 480 - 494, 2016-02
IEEE TRANSACTIONS ON COMPUTERS, vol. 63, no. 6, page. 1487 - 1500, 2014-06