1. Reasoning about Assumptions in Graphs of Models. Readings in Qualitative Reasoning about Physical Systems,1990
2. Multi-level modeling of populations;Amador,1990
3. Static and dynamic abstraction solves the problem of chatter in qualitative simulation;Clancy,1997
4. A general theory of abstraction;Cremonini,1990
5. E. Davis, Approximation and abstraction in solid object kinematics, TR706, 1995