Formal Description Techniques IV