Object-based Programming with Go

Tratado académico riguroso escrito por Christian Maurer y publicado por Springer en 2025. Analiza el paradigma de programación basado en objetos y tipos dentro del lenguaje Go desde una perspectiva formal de las ciencias de la computación.

Explora la composición frente a la herencia clásica, la semántica del sistema de interfaces implícitas de Go, tipos abstractos de datos (ADTs), encapsulamiento, diseño por contratos y verificación de corrección algorítmica en programas concurrentes.

El autor combina fundamentación teórica matemática con implementaciones concisas y elegantes en Go. Muy recomendado para profesores universitarios, investigadores y programadores con inquietudes teóricas.