- プログラミング HAL/S -- http://www2a.biglobe.ne.jp/~mizuki/tmp/programming_-HAL_S_V2a.pdf - [失敗学] スペースシャトル用プログラミング言語HAL/S -- http://d.hatena.ne.jp/oraccha/20120122/1327199857