I. G. Pospelov ,   L. Y. Pospelova Soviet J. of Computer and System Sciences , v.25 , 01.1987 , language: английский