"A Theory of Objects" von Luca Cardelli und Martín Abadi ist ein bedeutendes Werk im Bereich der Informatik, das sich mit der formalen Beschreibung und Analyse von objektorientierten Programmiersprachen befasst. Das Buch bietet eine...