- The added line is THIS COLOR.
- The deleted line is THIS COLOR.
- [http://www.jstage.jst.go.jp/article/jssst/28/1/1_306/_pdf/-char/ja/ 上田和紀，細部博史，石井大輔：ハイブリッド制約言語HydLaの宣言的意味論，コンピュータソフトウェア，Vol.28, No.1 (2011), pp.306-311.]
- Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi and Kazunori Ueda: HyLaGI: Symbolic Implementation of a Hybrid Constraint Language,
In Proc. NSV 2015: 8th International Workshop on Numerical Software Verification, April 2015, pp.70-75. (To be published in Electronic Notes in Theoretical Computer Science, 2015).
- [http://www.jstage.jst.go.jp/article/jssst/28/3/3_167/_pdf 渋谷俊，高田賢士郎，細部博史，上田和紀：ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム，コンピュータソフトウェア，Vol.28, No.3 (2011), pp. 167-172.]
- [http://www.ueda.info.waseda.ac.jp/~ueda/pub/HydLa-LfSA2012.pdf Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii: HydLa: A High-Level Language for Hybrid Systems. In Proc. Second Workshop on Logics for System Analysis (LfSA 2012, affiliated with CAV 2012), July 2012, pp.3-17.]
- [https://www.jstage.jst.go.jp/article/jssst/28/3/28_3_3_167/_article/-char/ja/ 渋谷俊，高田賢士郎，細部博史，上田和紀：ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム，コンピュータソフトウェア，Vol.28, No.3 (2011), pp. 167-172.]
-- [https://www.jstage.jst.go.jp/article/jssst/28/3/28_3_3_167/_article/-char/en/ Shun SHIBUYA, Kenshiro TAKATA, Hiroshi HOSOBE, Kazunori UEDA, An Execution Algorithm for the Hybrid System Modeling Language HydLa, Computer Software, Vol.28, No.3 (2011), pp.167-172.]
- [https://www.jstage.jst.go.jp/article/jssst/28/1/28_1_1_306/_article/-char/ja/ 上田和紀，細部博史，石井大輔：ハイブリッド制約言語HydLaの宣言的意味論，コンピュータソフトウェア，Vol.28, No.1 (2011), pp.306-311.]
-- [https://www.jstage.jst.go.jp/article/jssst/28/1/28_1_1_306/_article/-char/en/ Kazunori UEDA, Hiroshi HOSOBE, Daisuke ISHII, Declarative Semantics of the Hybrid Constraint Language HydLa, Computer Software, Vol.28, No.1 (2011), pp.306-311]
