>>431
I 構造化プログラミング論
12 プログラムのモデルについて
で
局所的な変数について言及してる