Difference between Procedures and Work Instructions

There is an argument in the office right now about the difference between Procedures and Work Instructions. I’ll give you my take later but wanted to run one definition by you first.