>>705
例えば「コンピュータサイエンス入門 論理とプログラム意味論」とか、
「アルゴリズムデザイン」などが一般書

大学生とか学者ではないけど、
計算機科学とかプログラミングに興味を持つ一般人が読む本