Vraagstelling
	Bepaal de som der kwadraten van 1 t/m n met n >= 1.

Strategie
	constante n vervangen door variabele k

Formele probleemspecificatie
	pre: n >= 1
	post:som=(Si:1<=i<=n:i*i) ^ n >= 1

* Eindrelatie
	R:som=(Si:1<=i<=n:i*i)

* Invariant
	som=(Si:1<=i<=k:i*i) ^ 0<=k<=n

* Stopcriterium
	k!=n

Initialisatie
	k=0;
	som=0;

Stap richting stopcriterium
	k++;

Actie herstel invariant
	som=som+(Si:i=k:i*i)

Algoritme

public int som(int n){
	int k=0;
	int som=0;
	while(k!=n){
		k++;
		som = som + (k*k);
	}
	return som;
}