The digitization of procedures