『コンピュータプログラミングの概念・技法・モデル』Concepts, Techniques, and Models of Computer Programming