Formal description of programming concepts | lit.salon