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