current edition

You can download the book right here.
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
  1. Preface
  2. Basic Theories
  3. Basic Data Structures
  4. Function Theory
  5. Program Theory
Part C
Chapters 5,..9
  1. Programming Language
  2. Recursive Definition
  3. Theory Design and Implementation
  4. Concurrency
Part D
Chapters 9,..12
  1. Interaction
  2. Exercises
  3. Reference

Solutions to exercises are available to course instructors.
Ch.1, Ch.2, Ch.3, first half of Ch.4, last half of Ch.4, Ch.5, Ch.6, Ch.7, Ch.8, Ch.9

ÖÐÎÄ°æ (Chinese version)

some tutorial material for Chapter 1, Chapter 3, and Chapter 4

change log

The course Formal Methods of Software Design based on the book is available online free.

author's website