A Logical Basis for Programming Methodology. - Satoru Takasu; Sukemitsu Kawabata (Theor. Comput. Sci., 1981)

Programming with Mathematical Thinking. - Satoru Takasu; Takako Nakahara (IFIP Congress, 1983)

Logic and Computation (Panel). - Satoru Takasu (IFIP Congress, 1986)