Kupusinac, Aleksandar, and Dušan Malbaški. 2011. “Automatic Verification of Inheritance”. International Journal of Industrial Engineering and Management 2 (4):139-43. https://doi.org/10.24867/IJIEM-2011-4-118.