Formal Description Techniques VIII | lit.salon