Formalismen 3: Aufwand und Terminierung | Publicación