Formalization of Programming Concepts | lit.salon