Ádám Balogh and Z. Csörnyei, “Objects and polymorphism in system programming languages: a new approach”, Period. Polytech. Elec. Eng., vol. 51, no. 3-4, pp. 85–97, Jan. 2007.