4Rather to my surprise, the old and new editions, though quite clearly different, have the same ISBN, contrary to the natural reading of the guidelines from the ISBN agency [25].