Буквоед

буквоед — stickler for regulations
буквоед — letter-bound person
крючкотвор; казуист; буквоед — hair splitter
тот, кто спорит о мелочах; крючкотвор; буквоед — hair-splitter