| Algorithm 8 Consumer function. |
|
Require: Require: Require: Ensure: Ensure: ifthen end if while do if then WIDTH else end if if WIDTH then end if end while |
| Algorithm 8 Consumer function. |
|
Require: Require: Require: Ensure: Ensure: ifthen end if while do if then WIDTH else end if if WIDTH then end if end while |