MODELING AND IMPLEMENTATION OF AN ACCOUNTING SYSTEM USING THE PI-CALCULUS AND CLOJURE. - Kenji Ohmori (International Conference on Information Systems Post-Implementation & Change Management, 2013)