Elements of discrete mathematics: a computer oriented approach - Liu, C L (MGH, 1985)