Title: Formal Description Techniques IX