Formal Description Techniques, V | lit.salon