The paper is devoted to the issue of formalizing the description of linear data structures presented in the form of container classes. Classes are called containers designed for storing elements of ...