Miroslav Stankovic his Ph.D. thesis on “Moment-Based Loop Analysis”