Uitgaande van deze context, wordt het proces verfijnd. De voorstelling van de eerste verfijning heet FIG.0:

SP bevat het adres van de laatste record
ST beschrijft de status van de stack:
ST = 0: nog niet geopend
ST = 1: open en leeg
ST = 2: niet leeg

We verfijnen de deelprocessen 1, 2 en 3 nog eens:

Verdere verfijningen kunnen, dankzij de eenvoud van het proces, in volle tekst beschreven worden. Algemeen is de regel, nooit beschrijvingen van langer dan 1 blz. toe te laten zonder opsplitsen.