1. (1980) Correctness Preserving Program Refinements, Mathematical Centre Tracts #131, Mathematisch Centrum, Amsterdam.
2. and (1992) ‘A transformation system for maintenance—turning theory into practice’, Conference on Software Maintenance, IEEE, 1992, Orlando, Florida.
3. Problems with automatic restructurers
4. (1968) Fundamental Algorithms, The Art of Computer Programming, Vol 1, Addison-Wesley, Reading, MA.
5. and (1974) ‘A structured program to generate all topological sorting arrangements,’ Information Processing Letters No. 2, pp. 153–157.