Transformation and analysis of (constraint) logic programs by S. Etalle