P.  Mukala, Cerone, A., and Turini, F., ?An abstract state machine (ASM) representation of learning process in FLOSS communities?, in International Conference on Software Engineering and Formal Methods, 2014.