Formal Description Techniques II | lit.salon