E. Larsen , Knuth , Oslcrman,