A New Proof that π. - Richard Gostanian; Karel Hrbacek (Math. Log. Q., 1979)

Constructible Models of Subsystems of ZF. - Richard Gostanian (J. Symb. Log., 1980)

The Auragen System 4000. - Richard Gostanian (IEEE Database Eng. Bull., 1983)