Deborah Lynn Whitfield
Univ. of Pittsburgh, Pittsburgh, PA
Program transformations using temporal logic side conditions
ACM Transactions on Programming Languages and Systems (TOPLAS)