<prompt> Genereern meer komplekse weergawe van hierdie sin Luca Cardelli en Peter Wegner het die konsep uitgebrei inn 1985 artikel.  <response>: Natuurlik is n meer komplekse weergawe van die sin Luca Cardelli en Peter Wegner het die konsep uitgebrei in n artikel van 1985 deur die konsep van insluitingspolymorfisme in te voer om subtipes en oorerwing te modelleer. 