Ordinal theory for expressiveness of well-structured transition systems | Publicación