Vitaly Telerman Vladimir Sidorov Dmitry Ushakov Object-Oriented Constraint Programming Environment NeMo+ and Its Applications. 296-303 1997 ICTAI http://computer.org/proceedings/ictai/8203/82030296abs.htm db/conf/ictai/ictai1997.html#TelermanSU97