PROCEEDINGS OF THE TWENTY-SECOND JAPAN CONGRESS ON MATERIALS RESEARCH
THE SOCIETY OF MATERIALS SCIENCE1979 年出版389 页ISBN:
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN:3540112103
Process Systems Engineering PSE'85:The Use of Computers in Chemical Engineering
1985 年出版684 页ISBN:0852951884