@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}, publisher = {mathdoc}, volume = {111}, year = {1981}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/ZNSL_1981_111_a0/} }