Kupusinac, A., & Malbaški, D. (2011). Automatic Verification of Inheritance. International Journal of Industrial Engineering and Management, 2(4), 139–143. https://doi.org/10.24867/IJIEM-2011-4-118