指定した検索語 - introduction comprehension ((program derivation) or (programming recursion)) concepts chapter~ - に合致する資料はありませんでした。

少々検索語を変更した方が良いでしょう。:
introduction comprehension » introduction comprehensive, information comprehension, instruction comprehensive
programming recursion » programming decision, programming session, programming decisions
program derivation » program termination, program verification, program description
chapter » chapters

検索結果が意図したものでない場合は、検索語を変更してもう一度検索してください。