Im September und Oktober 1973 war er Gastdozent am Institute of Scientic and Technical Information (VINITI) in Moskau, wo er zum ersten Mal die Ideen über eine Maschinenlesbarkeit von mathematischen Texten diskutierte.