Kupusinac, Aleksandar, and Dušan Malbaški. “Automatic Verification of Inheritance”. International Journal of Industrial Engineering and Management 2, no. 4 (December 30, 2011): 139–143. Accessed September 20, 2024. http://sp.ftn.uns.ac.rs/index.php/ijiem/article/view/346.