Tsuda Umeko o sasaeta hitobitoMasako Iino, Kinuko Kameda, Yūko Takahashi · First published 2000Open the Tome
Theories of types and proofsMasako Takahashi, M. Dezani-Ciancaglini, Nihon Sūgakkai · First published 1998Open the Tome