Jean Cardinal Stefan Langerman Designing small keyboards is hard. 405-415 2005 332 Theor. Comput. Sci. 1-3 https://doi.org/10.1016/j.tcs.2004.12.004 db/journals/tcs/tcs332.html#CardinalL05