Books Authored by M. Zakharyaschev