boka (svenska dialekter boka ’stöta’; för den bergtekniska termens del har betydelsen övertagits från medellågtyska boken), äldre bergteknisk term: krossa malm till lämplig storlek för metallurgiska processer.