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

A、《本草纲目》

B、《农政全书》

C、《天工开物》

D、《齐民要术》