Gaya APA

Okamoto, R, K, A, K. (2009). General Models and Completeness of First-Order Modal μ-calculus . : .

Gaya MLA

Okamoto, Ryo, Kashima, And, Keishi. "General Models and Completeness of First-Order Modal μ-calculus". : , 2009. Text.