- Algebraic Requirements for the Construction of Polynomial Rings
by Robert Milewski and Christoph Schwarzweller - Basic Elements of Computer Algebra in MIZAR
by Adam Naumowicz and Czesław Byliński - Development of LSI Circuit for RSA Cryptograms
by Yoshinori Fujisawa and Yasushi Fuwa - Lim-inf Convergence and its Compactness
by Grzegorz Bancerek, Noboru Endou, and Yasunari Shidama - State Machines of Calculating Type and Their Correctness
by Hisayoshi Kunimune and Yasushi Fuwa