Normally-Off Computing - Nakada, Takashi. (Springer Japan,)