Eric Van Wyk, Derek Bodin, Jimin Gao, and Lijesh Krishnan,
Science of Computer Programming, 75 (1-2): 39-54, Elsevier, January, 2010.
PDF