特性
13 C. A. R. Hoare _ Sketch - Titans of Computing |オープンシー