Barrapunto

Joer, no me acostaré sin haber aprendido algo nuevo ;)
"descripción de sistemas matemáticos complejos, tales como el software".
Como una especie de metalenguaje... y parece haber movimiento (bueno, las webs son del 2000, pero hay un montón de eventos, así que dudo que en 2 años haya desaparecido).