Sturm sequences