Text this: Mathematical model of work optimisation in the development of automated information systems