Derivacion de un programa q calcula fibonacci

[CharlesDarwin]

aca esta la derivacion:
|[con N : Int, var r,y:Int;
{N>=O}
r,y,n:=0,1,0
{P0 || P1 || P2}
do n!=N -> n,r,s:=y,y+r,n+1 od
{r=fib.N}
|]

otro problema es definir tambien N en el define

si me dan una manito agradeceria

Juan CArlos Mancha RAmos