Cousot, P., Cousot, R.,
"An abstract interpretation-based framework for software watermarking",
POPL 2004: The 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Venice, Italy, ACM SIGPLAN-SIGACT, January 2004, pp. 173-186.
Google