Λβ: a Virtual LOTOS Machine | Publicación