- [http://www.jstage.jst.go.jp/article/jssst/28/1/1_306/_pdf/-char/ja/ 上田和紀，細部博史，石井大輔：ハイブリッド制約言語HydLaの宣言的意味論，コンピュータソフトウェア，Vol.28, No.1 (2011), pp.306-311.]
//- 2008
//-- 制約概念に基づくハイブリッドシステムモデリング言語HydLa
//- 2009
//-- 不確実値を持つハイブリッドシステムの高信頼なシミュレーション手法
//-- 制約階層によるハイブリッドシステムのモデリング手法
//-- 制約概念に基づくハイブリッドシステムモデリング言語 HydLa の実装
//- 2010
//-- ハイブリッドシステムモデリング言語 HydLa の統合処理系
//-- ハイブリッドシステムモデリング言語 HydLa の区間制約に基づく全解シミュレーション実行処理系
//-- ハイブリッドシステムモデリング言語HydLa処理系の実行アルゴリズムの検討
//-- ハイブリッドシステムモデリング言語HydLa 処理系における実行アルゴリズム
//- 2011
//-- ハイブリッドシステムモデリング言語HydLa の数式処理実行系
//-- ハイブリッド制約言語HydLa の宣言的意味論
//-- ハイブリッドシステムモデリング言語HydLa の実行アルゴリズム
//-- ハイブリッドシステムモデリング言語HydLa の実装
- [http://www.jstage.jst.go.jp/article/jssst/28/3/3_167/_pdf 渋谷俊，高田賢士郎，細部博史，上田和紀：ハイブリッドシステムモデリング言語HydLaの実行アルゴリズム，コンピュータソフトウェア，Vol.28, No.3 (2011), pp. 167-172.]
