Lançamentos por Knuth, Donald E (Stanford University, California)