Text this: Algebraic methodology and software technology (AMAST '93) :