David Musser is Professor Emeritus of Computer Science at Rensselaer Polytechnic Institute.