A. Babichev, “About the tuning of the interacting objects behavior”, UBS, 46 (2013), 6–67
A. V. Babichev, “Orientirovanie v labirinte”, Avtomat. i telemekh., 2008, 2, 135–145
A. V. Babichev, “Ratsionalnye termy i ratsionalnye chisla”, Avtomat. i telemekh., 1998, no. 3, 156–172
A. V. Babichev, “Slabye monadicheskie teorii vtorogo poryadka, kak osnova dlya sozdaniya yazykov spetsifikatsii dannykh”, Avtomat. i telemekh., 1997, no. 2, 194–208
A. V. Babichev, “Tipizatsiya i organizatsiya kontrolya tipov v programmakh nad slozhnymi strukturami dannykh”, Avtomat. i telemekh., 1989, no. 3, 167–175
A. V. Babichev, “Porozhdenie i raspoznavanie yazykov nad termami”, Avtomat. i telemekh., 1988, no. 9, 144–153
A. V. Babichev, “Ischisleniya, dopuskayuschie proverku vyvodimosti s pomoschyu konechnykh interpretatsii”, Avtomat. i telemekh., 1988, no. 5, 132–142