American Accounting Association. Report of the committee on basic auditing concepts. The Accounting Review, XLVII: 14-74, 1972.
T. J. Anderson, D. A. Schum, and W. L. Twining. Analysis of Evidence. Cambridge University Press, Cambridge, 2005.
F. Bex, P. van Koppen, H. Prakken, and B. Verheij. A hybrid formal theory of arguments, stories and criminal evidence. Artificial Intelligence and Law, 18: 123-152, 2010.
F. Bex, H. Prakken, C. Reed, and D. Walton. Towards a formal account of reasoning about evidence: argumentation schemes and generalisations. Artificial Intelligence and Law, 11: 125-165, 2003.
J. Black. Regulatory conversations. Journal of Law and Society, 29 (1): 163-196, 2002.
J. Blokdijk. Tests of control in the audit risk model: effective? efficient? International Journal of Auditing, 8: 185-194, 2004.
J. Blokdijk, F. Driëenhuizen, and P. Wallage. Reflections on auditing theory, a contribution from the Netherlands. Limperg Instituut, Amsterdam, 1995.
B. Burgemeestre, J. Hulstijn, and Y.-H. Tan. Value-based argumentation for justifying compliance. Artificial Intelligence and Law, 19 (2-3): 149-186, 2011.
B. Burgemeestre, J. Hulstijn, and Y.-H. Tan. Value-based argumentation for designing and auditing security measures. Ethics and Information Technology, 15: 153-171, 2013.
R. Christiaanse and J. Hulstijn. Control automation to reduce costs of control. International Journal of Information System Modeling and Design, 4 (4): 27-47, 2013.
COSO. Internal control-integrated framework. Committee of Sponsoring Organizations of the Treadway Commission, 1992.
J. L. Dietz. The deep structure of business processes. Communications of the ACM, 49 (5): 59-64, 2006.
P. Elsas. Computational auditing. PhD thesis, Vrije Universiteit, Amsterdam, 1996.
J. Gordijn and J. M. Akkermans. Value-based requirements engineering: Exploring innovative e-commerce ideas. Requirements Engineering, 8 (2): 114-134, 2003.
G. Governatori and S. Sadiq. The journey to business process compliance, pages 426-445. IGI Global, 2009.
P. Griffioen. Type inference for linear algebra with units of measurement. Technical report, Centrum Wiskunde en Informatica (CWI), 2013.
P. Griffioen, P. Elsas, and R. van de Riet. Analyzing Enterprises: the value-cycle approach, pages 685-697. Springer Verlag, Berlin, 2000.
IFAC. ISA 530: Audit sampling. International Auditing and Assurance Standards Board (IAASB), International Federation of Accountants (IFAC), 2008.
IFAC. ISA 500: Audit evidence. International Auditing and Assurance Standards Board (IAASB), International Federation of Accountants (IFAC), 2012.
Y. Ijiri. The foundations of accounting measurement: a mathematical, economic, and behavioral inquiry. Prentice-Hall, 1967.
B. Klievink, E. van Stijn, D. Hesketh, H. Aldewereld, S. Overbeek, F. Heijmann, and Y.-H. Tan. Enhancing visibility in international supply chains: The data pipeline concept. . International Journal of Electronic Government Research, 8 (4): 14-33, 2012.
W. Knechel, S. Salterio, and B. Ballou. Auditing: Assurance and Risk. Thomson Learning, Cincinatti, 3rd edition, 2007.
R. B. Korobkin. Behavioral analysis and legal form: Rules vs. principles revisited. Oregon Law Review, 79 (1): 23-60, 2000.
L. Lindahl and J. Odelstad. Intermediaries and intervenients in normative systems. Journal of Applied Logic, 6 (2): 229-250, 2008.
L. A. Maines and J. M. Wahlen. The nature of accounting information reliability: Inferences from archival and experimental research. Accounting Horizons, 20 (4): 399-425, 2006.
J.-J. Meyer and R. Wieringa. Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, 1993.
J. Pearl. Fusion, propagation, and structuring in belief networks. Artificial Intelligence, 29 (3): 241-288, 1986.
M. Power. The risk management of nothing. Accounting, Organizations and Society, 34: 849-855, 2009.
H. Prakken, D. Ionita, and R. Wieringa. Risk assessment as an argumentation game. In J. Leite, editor, 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), pages 357-373. Springer Verlag, 2013.
R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32 (1): 57-95, 1987.
A. Rozinat and W. M. P. van der Aalst. Conformance checking of processes based on monitoring real behavior. Information Systems, 33 (1): 64-95, 2008.
J. R. Searle. The Construction of Social Reality. The Free Press, 1995.
R. W. Starreveld, B. de Mare, and E. Joels. Bestuurlijke Informatieverzorging (in Dutch), volume 1. Samsom, Alphen aan den Rijn, 1994.
W. Wagenaar, P. v. Koppen, and H. N. Y. Crombag. Anchored Narratives: The Psychology of Criminal Evidence. St. Martin's Press, New York, 1993.
D. N. Walton. Argument Schemes for Presumptive Reasoning. Lawrence Erlbaum Associates, Mahwah, 1996.
D. N. Walton and E. C. Krabbe. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. State University of New York Press, 1995.
H. Weigand and P. Elsas. Model-based auditing using REA. International Journal of Accounting Information Systems, 13: 287-310, 2012.
P. Westerman. Who is regulating the self? Self-regulation as outsourced rule-making, In: M. Hertogh and P. Westerman, editors, Self-Regulation and the Future of the Regulatory State, pages 23-36, University of Groningen, 2009.
J. Wigmore. The Principles of Judicial Proof or the Process of Proof as Given by Logic, Psychology, and General Experience and Illustrated in Judicial Trials. Little, Brown and Company, Boston, 2nd edition, 1931.
