A Calculus of Inheritance
O artigo apresenta o cálculo de herança, uma fundação para a programação declarativa que unifica classes, métodos e objetos sob uma abstração de registro onde a herança é modelada como união de conjuntos, eliminando problemas de linearização e demonstrando maior expressividade que o cálculo ao integrar semânticas de lógica, mixins e resolução de auto-referência.