Lectures on discrete mathematics for computer science - Khoussainov, Bakhadyr, 1961- (World Scientific, 2012)