Qualitative reasoning modeling and the generation of behavior - Werthner, H. (Springer-Verlag, 1994)