Formal Description Techniques IX