Towards connecting discrete mathematics and software engineering | TUP Journals & Magazine | IEEE Xplore