English abstract data type specification: перевод на другие языки