CAN/CSA-Z243.101-1989
情報処理システム-オープンシステム相互接続-LOTOS-観察される動作の時系列に基づく形式的記述手法（初版）