Empfehlung der CCITT/ITU von 1988: Criteria for the use and applicability of formal Description Techniques