М. С. Львов, «Концепція програмної системи підтримки математичної діяльності», kosn, с. 36–48, Лют 2003.