Ip, A. (2020). Demonstration of Liskov Substitution Principle (Version 0.1.0) [Computer software]