).

Published in: IEEE Trans. Computers (2005)