F. Ollivier Inversibility of Rational Mappings and Structural Identifiability in Automatics. 43-54 1989 ISSAC http://doi.acm.org/10.1145/74540.74547 db/conf/issac/issac89.html#Ollivier89