富井親雄
鉄道システムへの誘い 第２回フェイルセーフの仕組み リレー，マイコン，形式的仕様記述(その2)
1999年02月号