Formal Description of Programming Concepts III | lit.salon