A. A. Liapounov Sur quelques systèmes de programmation pour les recherches scientifiques. 76-84 1972 conf/ershov/1972 International Sympoisum on Theoretical Programming db/conf/ershov/ershov1972.html#Liapounov72 http://dx.doi.org/10.1007/3-540-06720-5_6