On linguistic aspects of integration of computer mathematical knowledge. - Alexander V. Lyaletski; Marina Morokovets (Calculemus, 1999)