Kupusinac, A.; Malbaški, D. Automatic Verification of Inheritance. Int J Ind Eng Manag 2011, 2, 139-143.