Haklin Kimm
Univ. of Tennessee, Martin
Program abstraction and instantiation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finding a minimum independent dominating set in a permutation graph
Discrete Applied Mathematics
The Science of Programming