[es] Teorías unificadas de la programación

[hr] Unifying Theories of Programming

[ja] プログラミングの統一理論