ISDN supplementary services specifications: From informality to knowledge representation