Geodesic
Procedure mechanisms of abstraction
Zapiski Nauchnykh Seminarov POMI, Computational methods and algorithms. Part V, Tome 111 (1981), pp. 5-30 
I. R. Agamirzyan; A. S. Ivanov. Procedure mechanisms of abstraction. Zapiski Nauchnykh Seminarov POMI, Computational methods and algorithms. Part V, Tome 111 (1981), pp. 5-30. http://geodesic.mathdoc.fr/item/ZNSL_1981_111_a0/
@article{ZNSL_1981_111_a0,
     author = {I. R. Agamirzyan and A. S. Ivanov},
     title = {Procedure mechanisms of abstraction},
     journal = {Zapiski Nauchnykh Seminarov POMI},
     pages = {5--30},
     year = {1981},
     volume = {111},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/ZNSL_1981_111_a0/}
}
TY  - JOUR
AU  - I. R. Agamirzyan
AU  - A. S. Ivanov
TI  - Procedure mechanisms of abstraction
JO  - Zapiski Nauchnykh Seminarov POMI
PY  - 1981
SP  - 5
EP  - 30
VL  - 111
UR  - http://geodesic.mathdoc.fr/item/ZNSL_1981_111_a0/
LA  - ru
ID  - ZNSL_1981_111_a0
ER  - 
%0 Journal Article
%A I. R. Agamirzyan
%A A. S. Ivanov
%T Procedure mechanisms of abstraction
%J Zapiski Nauchnykh Seminarov POMI
%D 1981
%P 5-30
%V 111
%U http://geodesic.mathdoc.fr/item/ZNSL_1981_111_a0/
%G ru
%F ZNSL_1981_111_a0

Voir la notice du chapitre de livre provenant de la source Math-Net.Ru

The article considers the use of the procedure mechanism with procedure type parameters in modular organization of programs and program systems. Descriptions of modules realizing various types of abstractions with the aid of this mechanism are demonstrated. The notion of a mixed abstraction is introduced and a method of its realization by the procedure mechanism is proposed.