Formal Description Techniques VII