“…Less formal work includes [25,26,28,29]. More formal work can be found in [6,2,20,15,8,9,18,17,30,13,10]. Examining and studying all these works we concluded that specifications and correctness proofs are most of the time not easy to reuse in order to demonstrate the various applications of diffusing computations mentioned above.…”