Structuring of models and reasoning about quantities in qualitative physics

Peter Struss. Structuring of models and reasoning about quantities in qualitative physics. PhD thesis, Universität Kaiserslautern, 1989.