Vraagstelling

Strategie

Formele probleemspecificatie
	pre:
	post:

* Eindrelatie

* Invariant

* Stopcriterium

Initialisatie

Stap richting stopcriterium

Actie herstel invariant

Algoritme