例えばQuick Sort のアルゴリズムは何かというとき、アルゴリズムが
プログラムそのものだと、ほんの1行、表現が変わっただけで、
アルゴリズムが変わったと言わなければならないので、「アルゴリズム」と
いう用語はもっと抽象的なもの（手順の本質的なもの)にとって
おきたいなということです。

で、教科書なんかで、アルゴリズムの厳密な定義をしている本を見た記憶が無く、
「アルゴリズムが存在するとは」ということの定義でお茶を濁している
ような気がしているのですが。