Ordinal Theory for Expressiveness of Well Structured Transition Systems | Publicación