Bobrow D (Ed.), 1984. Qualitative Reasoning about Physical Systems. North-Holland.