Bonnet, Rémi; Finkel, Alain; Haddad, Serge; Rosa-Velardo, Fernando (2013). "Ordinal theory for expressiveness of well-structured transition systems". Information and Computation. 224: 1–22. doi:10.1016/j.ic.2012.11.003. MR3016456.
doi.org
Bonnet, Rémi; Finkel, Alain; Haddad, Serge; Rosa-Velardo, Fernando (2013). "Ordinal theory for expressiveness of well-structured transition systems". Information and Computation. 224: 1–22. doi:10.1016/j.ic.2012.11.003. MR3016456.