Books
Dependable Systems
Tomohiro Yoneda, Seiji Kajihara, and Tatsuhiro Tsuchiya, Dependable Systems, ISBN: 978-4320121522, Kyoritsu Shuppan, Tokyo, 2005. (Japanese)
A Gentle Introduction to Computer Algorithms
Tatsuhiro Tsuchiya, A Gentle Introduction to Computer Algorithms, ISBN: 978-4320122444, Kyoritsu Shuppan, Tokyo, 2009. (Japanese)