current edition You can download the book in four parts from the left column below. You can download the lecture visuals in ten parts from the right column below. the Book the Lecture Visuals Part A Title and Contents      Title      Contents Part B Chapters 0,..5 Preface Basic Theories Basic Data Structures Function Theory Program Theory Part C Chapters 5,..9 Programming Language Recursive Definition Theory Design and Implementation Concurrency Part D Chapters 9,..12 Interaction Exercises Reference Solutions to exercises are available to course instructors. ÖÐÎÄ°æ (Chinese version) some tutorial material for Chapter 1, Chapter 3, and Chapter 4 change log author's website