Discrete mathematical structre with application to computer science - Trembly, J P