Clone detection through Process Algebras and Java Bytecode