Kupusinac, A., and D. Malbaški. “Automatic Verification of Inheritance”. International Journal of Industrial Engineering and Management, vol. 2, no. 4, Dec. 2011, pp. 139-43, doi:10.24867/IJIEM-2011-4-118.