An investigation of abstraction in events-based accounting systems