Fatma Mili, Ali Mili: Algorithms = RelationaI Algebra + Ordering Relations. RelMiCS 1997: 273-289