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 July 27, 2024. https://ijiemjournal.uns.ac.rs/index.php/ijiem/article/view/346.