Văn bản này: A formalization of internal control evaluation