.

Published in: IEEE Trans. Computers (1971)