Aspects of Language Design for Combinatorial Computing | IEEE Journals & Magazine | IEEE Xplore