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