A method for watermarking java programs via opaque predicates
Watermarking, Tamper-Proofing, and Obfuscation -- Tools for Software Protection