A Deductive and Object-Oriented Approach to a Complex Scheduling Problem.

Yves Caseau Pierre-Yves Guillo Eric Levenez A Deductive and Object-Oriented Approach to a Complex Scheduling Problem. 67-80 1993 DOOD db/conf/dood/dood93.html#CaseauGL93 http://dx.doi.org/10.1007/3-540-57530-8_5