Simon Kasif Towards a Constraint-Based Engineering Framework for Algorithm Design and Application. 75-82 1997 2 Constraints 1 db/journals/constraints/constraints2.html#Kasif97