That's a really interesting read. Accodring to some reports the Russians had access to 2.9 or 4.2 BSD source code in 1980-1982(?) http://gunkies.org/wiki/DEMOS not sure if they had have to do "translation by hand into another language".

A bit unrelated: Wow, I can barely tell what I've been up to 2 years ago; how do people remember things that happened some 30-40 years ago...

-ss