- Author: Peter Schnupp, Lawrence W Bernhard
- Language: English
- Year: 1987
- Author: Jeff Magee, Jeff Kramer
- Language: English
- Year: 1999
- Author: C.A.R. Hoare He Jifeng
- Language: English
- Year: 1998
- Author: C.A.R. Hoare He Jifeng
- Language: English
- Year: 1998
- Author: Tennent R.D.
- Language: English
- Year: 1981
- Author: Jones C.B.
- Language: English
- Year: 1980
Computation as Logic
djvu
- Author: Lalement R.
- Year: 1990
- Author: Hoare C.A.R., He J.
- Language: English
- Year: 1998
- Author: INMOS
- Year: 1988
- Author: Hoare C.A.R., Jones C.B.
- Language: English
- Year: 1989