D, Bobrow. Qualitative reasoning about physical systems. Elsevier Publishers, 1984.