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

A．《齐民要术》

B．《本草纲目》

C．《天工开物》

D．《徐霞客游记》