Model Checking. Part II. - Kazuhisa Ishida (Formaliz. Math., 2008)

Model Checking. Part III. - Kazuhisa Ishida; Yasunari Shidama (Formaliz. Math., 2008)

Fixpoint Theorem for Continuous Functions on Chain-Complete Posets. - Kazuhisa Ishida; Yasunari Shidama (Formaliz. Math., 2010)

Definition of Flat Poset and Existence Theorems for Recursive Call. - Kazuhisa Ishida; Yasunari Shidama; Adam Grabowski (Formaliz. Math., 2014)