Authors: Manolios, P Moore, JS

Citation: P. Manolios et Js. Moore, On the desirability of mechanizing calculational proofs, INF PROCESS, 77(2-4), 2001, pp. 173-179