“北京王麻子剪刀”是享誉海内外几百年的中华老字号，北京王麻子剪刀的生 产技术，曾在“中国17世纪工艺百科全书”中被详细介绍。该书是（   ）

A：《史记》

B：《本草纲目》

C：《天工开物》

D：《农政全书》