Text this: Recent trends in algebraic development techniques :