Coinductive Verification of Program Optimizations Using Similarity Relations (2007)

by S Glesner, J Leitner, J Blech
Venue:Electronic Notes in Theoretical Computer Science