current edition You can download the book right here. It is 253 pages. Contents Introduction Basic Theories Basic Data Structures Function Theory Program Theory Programming Language Recursive Definition Theory Design and Implementation Concurrency Interaction Exercises Reference symbols pages 234 through 246 (laws etc.) for printing solutions to exercises change log 中文版 (Chinese 2018 version) The