Program Transformations Using Temporal Logic Side Conditions. - KALVALA, SARA; WARBURTON, RICHARD; LACEY, DAVID (ACM Transactions on Programming Languages & Systems, 2009)