Enforcing trace properties by program transformation (2000)

by T Colcombet, P Fradet
Venue:In Proceedings of ihe 27ih ACM Symposium on Principles of Programming Languages. ACM