USSR industrial development: Construction, construction machinery, and bullding materials, nos. 97-102; JPRS 42077, 42203, 42217, 42294, 42368, 42484.

Tools