- Author: Donald E. Knuth
- Language: English
- Year: 1998
- Author: Donald E. Knuth
- Language: English
- Year: 1997
- Author: Donald E. Knuth
- Language: English
- Year: 1997
- Author: Donald E. Knuth
- Language: English
- Year: 1981
- Author: Dick Grune Henri E. Bal Ceriel J.H. Jacobs Koen Langendoen
- Language: English
- Year: 2000
- Author: Bhattacharya A. Konar A. Mandal A.
- Language: English
- Year: 2006
- Author: Dines Bjørner
- Language: English
- Year: 2006