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