References
- Basic Refal and its realization on computers (Methodical recommendations) Tsniipiass Moscow 1974 (Russian)
- Griswold , R.E. , Poage , J.P. and Polonsky , I.P. 1971 . The SNOBOL4 programming language , Englewood Cliffs, New Jersey : Bell Laboratories . Prentice-Hall, Inc
- Griswold , R.E. and Griswold , M.T. 1973 . A SNOBOL4 primer , Prentice-Hall .
- Ganža , V.G. , Meleško , S.V. , Murzin , F.A. , Šapeev , V.P. and Yanenko , N.N. 1981 . Realization on a computer of an algorithm for studying the consistency of systems of partial differential equations . Soviet Math. Dokl , 24 ( 3 ) : 638 – 640 .
- Valiullin , A.N. , Ganža , V.G. , Meleško , S.V. , Murzin , F.A. , Šapeev , V.P. and Yanenko , N.N. . Symbolic manipulations in the methods of mathematical physics . Symposium: Mathematics for Computer Science . pp. 431 – 438 . Paris, , France
- Kuranishi , M. 1967 . “ Lectures on involutive systems of partial differential equations ” . In Publ. Soc. Math São Paulo
- Pommaret , J.F. 1978 . Systems of partial differential equations and Lie pseudogroups , Paris : Collège de France .
- Cartan , E. 1969 . External differential systems and their geometrical applications , Moscow : Moscow University .
- Backus , J. 1978 . Can programming be liberated from the von Neuman style? A functional style and its algebra of programs . Comm. ACM , 21 ( 8 ) : 613 – 628 .
- Hearn , A.C. 1973 . REDUCE User's Manual , University of Utah .
- Bogen , R . 1975 . MACSYMA Reference Manual , Cambridge : MIT .
- Dekhtyar , M.I. 1983 . On complexity of an identity algorithm in the language of recursive functions , Kalinin : Kalinin University . (Russian)
- Rosen , B.K. 1973 . Tree manipulation systems and Church-Roser theorems . Journal of ACM , 20 : 160 – 187 .
- Huet , G. 1980 . Confluent reductions: Abstract properties and applications to term rewriting systems . Journal of ACM , 20 : 797 – 821 .