A. Kupusinac and D. Malbaški, “Automatic Verification of Inheritance”, Int J Ind Eng Manag, vol. 2, no. 4, pp. 139–143, Dec. 2011.