Algebraic methodology and software technology | lit.salon