"bitv\u011B u Len\u010Dice"@cs .