Gaya APA

Kashima, R. (2014). An axiomatization of ECTL . : .

Gaya MLA

Kashima, Ryo. "An axiomatization of ECTL ". : , 2014. Text.