Rica , Knuth , g .t.