Knuth, D.
1987
[
Knu87
] Knuth D.