A. A. Lápunov. O logičéskih shémah programm. Problémy kibérnétiki, vol. 1 (1958), pp. 46–74. - A. A. Lyapunov. The logical structure of programmes. English translation of the preceding. Problems of cybernetics, vol. 1 (1960), pp. 48–81. - A. A. Ljapunow. Über logische Programm-Schemata. German translation of the same. Probleme der Kybernetik, vol. 1 (1962), pp. 53–86.
E. M. Fels · Journal of Symbolic Logic · 1968
A. A. Lápunov. O logičéskih shémah programm. Problémy kibérnétiki, vol. 1 (1958), pp. 46–74. - A. A. Lyapunov. The logical structure of programmes. English translation of the preceding. Problems of cybernetics, vol. 1 (1960), pp. 48–81. - A. A. Ljapunow. Über logische Programm-Schemata. German translation of the same. Probleme der Kybernetik, vol. 1 (1962), pp. 53–86. - Volume 33 Issue 3