«язык формальных спецификаций»

Большой англо-русский и русско-английский словарь Русско-английский политехнический словарь