1. The string-to-string correction problem with block moves
2. and , Computers and Intractability: A Guide to the Theory of NP-Complete Problems, W. H. Freeman, 1979.
3. The source code control system
4. Rcs — a system for version control
5. and , Time Warps, String Edits and Macromolecules: The Theory and Practice of Sequence Comparison, Addison-Wesley, 1983.