Text this: MODELING AND IMPLEMENTATION OF AN ACCOUNTING SYSTEM USING THE PI-CALCULUS AND CLOJURE.