プログラムの解説は　
「アルゴリズミック・デザイン 実行系」　渡辺 誠 著・丸善出版 刊
を参照ください。