Toward a Formal Macroset Theory | Publicación