Email Record: Recent trends in algebraic development techniques :