Most information systems analysis techniques focus on data: storage, processing and communication. While these aspects are important, there is a further level of analysis -- for the most part ignored -- that is potentially even more important from the organizational standpoint. This has to do with how organizational commitments are formed and executed. The focus of this paper is on the modeling and analysis of formal procedures for commitments, both internal and external. Of particular interest are commitment procedures involving communications by means of structured documents, what we call documentary procedures. Documentary procedures are remarkable in that the communications involved are not only informative, but also performative in that they alter the state of commitment between the parties. The particular focus in this paper is on the adequacy of controls in these documentary procedures. A pattern matching technique, called audit daemons, is developed, analogous to daemons used elsewhere in AI. These audit daemons are used to diagnose fraud and collusion potentials, and other control weaknesses in the designed procedure.